Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / 80e3a6cb0ab922adb51cf7ccabeebd64394d74e2 / hw / top_earlgrey / formal
  1. ac43d41 [conn] Correct some connectivity checks by Michael Schaffner · 2 years, 7 months ago
  2. 6ae4936 [ast/conn] Remove redundant reset connectivity tests by Michael Schaffner · 2 years, 7 months ago
  3. 3f40684 [ast/conn] Remove redundant tests and align clock groups by Michael Schaffner · 2 years, 7 months ago
  4. f535b48 [ast/conn] Add connectivity tests for analog signals by Michael Schaffner · 2 years, 7 months ago
  5. 30b190d [ast/conn] Update / add connectivity tests for AST by Michael Schaffner · 2 years, 7 months ago
  6. e053a57 [ast/conn] Add entropy_src <-> AST connectivity tests by Michael Schaffner · 2 years, 7 months ago
  7. 5a58256 [conn] Add connectivity checks for resets, rst_en, and cg_en by Guillermo Maturana · 2 years, 7 months ago
  8. c7cb30c [fpv] Update tcl syntax for latest JG version by Cindy Chen · 2 years, 7 months ago
  9. ec70743 [conn] Remove hard-coded connecitivity constants by Cindy Chen · 2 years, 7 months ago
  10. 18f8ede [dvsim/doc] Place summary results into separate hierarchy by Michael Schaffner · 2 years, 7 months ago
  11. bcad0d6 [conn] Add new connectivity checks by Cindy Chen · 2 years, 8 months ago
  12. b551475 [fpv/keymgr] Fix keymgr prim_flop_sparse_fsm path by Cindy Chen · 2 years, 8 months ago
  13. 0794cfc [prim_count] This reworks the primitive to make it more generic by Michael Schaffner · 2 years, 8 months ago
  14. da769da [fpv/prim_count] Turn on coverage by Cindy Chen · 2 years, 9 months ago
  15. 0cc1e43 [formal,conn] Add ast to entropy_src connectivity check by Guillermo Maturana · 2 years, 9 months ago
  16. 45c1e42 [usbdev] Remove internal CDC logic by Alexander Williams · 2 years, 9 months ago
  17. e80d182 [formal/conn] Fix bbox command by Cindy Chen · 2 years, 9 months ago
  18. fe53642 [formal/script] Add bbox_cmd as an input option by Cindy Chen · 2 years, 9 months ago
  19. 4a9e9fb [formal/conn] Update chip level connectivity csvs by Cindy Chen · 2 years, 9 months ago
  20. f0aa9fa [fpv/aes] Support SEC_CM tests by Cindy Chen · 2 years, 10 months ago
  21. 5f46a42 [fpv/alert_handler] Add sec_cm FPV testbench for alert_handler by Cindy Chen · 2 years, 10 months ago
  22. 5063fc5 [dv/fpv] Add clkmgr to fpv sec cm script by Cindy Chen · 2 years, 10 months ago
  23. e1ae9d4 [keymgr] Add FPV assertion to check linear ctrl flow by Michael Schaffner · 3 years ago
  24. 0e6c950 [fpv] Change `stopats` entry to a list by Cindy Chen · 3 years ago
  25. 71b571c [lc_ctrl] Add linear control flow SVA property by Michael Schaffner · 3 years ago
  26. 1be3cd6 [fpv/tcl] Add macro defines to fpv tcl file by Cindy Chen · 3 years ago
  27. 5e74addd [prim_onehot_check] Add prim_onehot_check by Michael Schaffner · 3 years ago
  28. d8eb7a2 [conn/clk] Update otbn clk connection by Cindy Chen · 3 years ago
  29. 68ce21e [conn] connectivity test naming fix by Cindy Chen · 3 years ago
  30. ab49a17 [fpv/flash] Fix flash conpile error by Cindy Chen · 3 years ago
  31. d00f902 [conn] Update conn csv tests by Cindy Chen · 3 years ago
  32. c75027f [conn/clkmgr] Fix clkmgr port change by Cindy Chen · 3 years, 1 month ago
  33. a44bb96 [fpv/sec cm] Update the list of sec IPs by Cindy Chen · 3 years, 1 month ago
  34. 620a9d1 [conn/top] Add lc_escalate_en connectivity checks by Cindy Chen · 3 years, 1 month ago
  35. 8d91bec [fpv/sec] Add some workaround logic for $cast keyword by Cindy Chen · 3 years, 1 month ago
  36. 60ed869 [conn] Add two AST related connectivity tests by Cindy Chen · 3 years, 1 month ago
  37. 455ccc5 [fpv/rom_ctrl] Check connectivity for alerts in rom_ctrl by Cindy Chen · 3 years, 1 month ago
  38. fd1d80f [fpv] V2S formal support by Cindy Chen · 3 years, 1 month ago
  39. 01bb5eb [formal/conn] Add clkmgr output clock connectivity by Guillermo Maturana · 3 years, 1 month ago
  40. b555ffa [conn] Update csv files by Cindy Chen · 3 years, 1 month ago
  41. 70a87d5 [sysrst_ctrl/fpv] Add an FPV target for the entire IP by Michael Schaffner · 3 years, 2 months ago
  42. 9750b53 [formal/conn] Add three connectivity checks by Cindy Chen · 3 years, 2 months ago
  43. e2400ae [fpv/prim_count] Inject fault to ensure counter errors are hit by Cindy Chen · 3 years, 4 months ago
  44. 16b622f [prim_max_tree] Remove dedicated FPV TB since all SVAs are embedded by Michael Schaffner · 3 years, 2 months ago
  45. 363b82d [prim_max_tree/fpv] Add a simple formal testbench by Michael Schaffner · 3 years, 2 months ago
  46. 0eb98eb [fpv/pinmux] Add an entry for chip_earlgrey settings by Cindy Chen · 3 years, 3 months ago
  47. 34ba5e4 [secded/fpv] Add new ECC code FPV testbenches by Michael Schaffner · 3 years, 4 months ago
  48. 8196f11 [fpv] Fix regression failures by Cindy Chen · 3 years, 5 months ago
  49. 1ef5cd6 [dv/full_chip] Add clkmgr jitter test by Guillermo Maturana · 3 years, 5 months ago
  50. 1ebc7a9 [prim] Add prim_fifo_async_sram_adapter to FPV list by Eunchan Kim · 3 years, 5 months ago
  51. db4a55c [fpv] solve regression same tb issue by Cindy Chen · 3 years, 5 months ago
  52. b9fcaae [conn] Update spi_host clk by Cindy Chen · 3 years, 5 months ago
  53. 241a82c [fpv] prim_counter_fpv by Cindy Chen · 3 years, 6 months ago
  54. edc8093 [chip,formal] Add AST mem cfg to conn csv by Srikrishna Iyer · 3 years, 5 months ago
  55. 9042945 [fpv] prim_secded FPV testbench updates bind file naming by Cindy Chen · 3 years, 5 months ago
  56. 9ab2ce8 [fpv] alert template corefile update by Cindy Chen · 3 years, 5 months ago
  57. 9f7e6d7 [fpv] FPV testbench rename by Cindy Chen · 3 years, 6 months ago
  58. 0d7bd2c [alert_handler] Produce top_earlgrey instance of alert_handler with ipgen by Philipp Wagner · 4 years ago
  59. c720ac8 [rv_plic] Produce top_earlgrey instance of rv_plic with ipgen by Philipp Wagner · 4 years, 1 month ago
  60. 2280cad [formal/conn] Fix clkmgr peri clock by Guillermo Maturana · 3 years, 6 months ago
  61. 77f3b0d [fpv] Fix compile error in pwrmgr by Cindy Chen · 3 years, 7 months ago
  62. a919f55 [fpv/batch] add more IPs to FPV regression by Cindy Chen · 3 years, 7 months ago
  63. 9ae1d11 [formal/conn] Move from top_earlgrey to chip_earlgrey_asic by Cindy Chen · 3 years, 8 months ago
  64. 4f8a8e7 [formal/conn] Check pwrmgr to rtstmgr connections by Guillermo Maturana · 3 years, 8 months ago
  65. 8cb3e90 [formal/conn] Fix top_earlgrey reset by Guillermo Maturana · 3 years, 8 months ago
  66. 1af624f [fpv/batch] Add two more modules to FPV batch script by Cindy Chen · 3 years, 9 months ago
  67. 62bf5a3 [fpv/script] Add rel_path to Formal batch script by Cindy Chen · 3 years, 9 months ago
  68. 5416631 [dv/clkmgr] Fix peripheral clock checks by Guillermo Maturana · 3 years, 11 months ago
  69. 9683636 [dv/clkmgr] Adds connectivity for formal checks. by Guillermo Maturana · 4 years ago
  70. 53ce3bb [formal/conn] Support dvsim to publish regression result summary by Cindy Chen · 4 years ago
  71. 93fe50c [top/chip] Rename chip-level tops by Michael Schaffner · 4 years ago
  72. b1b62c9 [formal] clean up names from fconn to conn by Cindy Chen · 4 years ago
  73. 2773319 [dvsim] Minor cleanups to to formal flow by Srikrishna Iyer · 4 years ago
  74. f59a6b3 [formal/script] Update generic formal flow naming from `fpv` to `formal` by Cindy Chen · 4 years ago