Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / 1e8879224f0cbc50d6d637f8e6bd4ec2aeeeba5c / hw / formal
  1. f6298b3 [doc] Rewrite most frontmatters to Markdown titles by Hugo McNally · 2 years, 1 month ago
  2. 544e7a6 [doc] Manually changed remaining hugo links by Hugo McNally · 2 years, 1 month ago
  3. aef0a66 [doc] Replaced Hugo links with standard markdown by Hugo McNally · 2 years, 1 month ago
  4. 335be2d [doc mv] `hw/` doc files moved for new layout. by Hugo McNally · 2 years, 1 month ago
  5. 748b19f [fpv] Support input empty string for expected_failure_hjson by Cindy Chen · 2 years, 3 months ago
  6. be87895 [fpv] Support expected failure properties by Cindy Chen · 2 years, 4 months ago
  7. d8ebe91 [fpv/doc] Clean up formal doc by Cindy Chen · 2 years, 3 months ago
  8. 0bda971 [dvsim] Move empty pattern list to common by Eli Kim · 2 years, 3 months ago
  9. 8e586da [fpv] Support build_pass_pattern in OneShotCfg by Cindy Chen · 2 years, 4 months ago
  10. e8de6db [jaspergold] Add build pass pattern by Srikrishna Iyer · 2 years, 4 months ago
  11. 2809893 [pinmux/fpv] Update FPV environment for pinmux by Michael Schaffner · 2 years, 4 months ago
  12. 80cec19 [fpv/sec_cm] Blackbox memories by Cindy Chen · 2 years, 5 months ago
  13. 48bfeae [fpv/rstmgr] Configure additional clocks for fpv by Guillermo Maturana · 2 years, 5 months ago
  14. 34f195c [fpv/flash_ctrl] Fix flash_ctrl_sec_cm name by Cindy Chen · 2 years, 5 months ago
  15. 2feaad0 [fpv/flash_ctrl] Fix flash_ctrl_sec_cm failures by Cindy Chen · 2 years, 5 months ago
  16. d0b9668 [fpv] add correct settings for clkmgr by Cindy Chen · 2 years, 5 months ago
  17. c9f6c6e [mubi/lc] Relax transient SVA checks by Michael Schaffner · 2 years, 6 months ago
  18. 8c549ba [fpv/pwrmgr] Add assertions to check escalation by Cindy Chen · 2 years, 6 months ago
  19. f1ee284 [conn] Update TCL constraints by Michael Schaffner · 2 years, 6 months ago
  20. c7cb30c [fpv] Update tcl syntax for latest JG version by Cindy Chen · 2 years, 7 months ago
  21. 0794cfc [prim_count] This reworks the primitive to make it more generic by Michael Schaffner · 2 years, 8 months ago
  22. 995302c [doc] Unlist dangling pages from menus. by Miguel Osorio · 2 years, 8 months ago
  23. aabcd2c [formal/fpv] support onehot register check [Part1] by Cindy Chen · 2 years, 8 months ago
  24. 2e51319 [doc] Remove README.md files from hw,utils folders by Miguel Osorio · 2 years, 9 months ago
  25. 45c1e42 [usbdev] Remove internal CDC logic by Alexander Williams · 2 years, 9 months ago
  26. e80d182 [formal/conn] Fix bbox command by Cindy Chen · 2 years, 9 months ago
  27. fe53642 [formal/script] Add bbox_cmd as an input option by Cindy Chen · 2 years, 9 months ago
  28. 6dd9ac2 [formal/tool] Move define to common formal script by Cindy Chen · 2 years, 9 months ago
  29. 5f46a42 [fpv/alert_handler] Add sec_cm FPV testbench for alert_handler by Cindy Chen · 2 years, 9 months ago
  30. 964729b [fpv/otp_ctrl] Downgrade an error to warning by Cindy Chen · 2 years, 10 months ago
  31. 0e6c950 [fpv] Change `stopats` entry to a list by Cindy Chen · 2 years, 11 months ago
  32. 6b43466 [usbuart] Remove this IP since it is no longer maintained by Michael Schaffner · 2 years, 11 months ago
  33. 1be3cd6 [fpv/tcl] Add macro defines to fpv tcl file by Cindy Chen · 3 years ago
  34. fc41d82 [fpv/pinmux] Add tl integrity error check by Cindy Chen · 3 years ago
  35. bf70cac [doc/fpv] Add doc on how to create a FPV security check env by Cindy Chen · 3 years ago
  36. 8df2f22 [fpv/tool] parse results calculation by Cindy Chen · 3 years ago
  37. a2f3ade [conn] Fix conn compile error by Cindy Chen · 3 years ago
  38. 419d7b1 [fpv/pinmux] Pinmux FPV tb fix by Cindy Chen · 3 years, 1 month ago
  39. fd1d80f [fpv] V2S formal support by Cindy Chen · 3 years, 1 month ago
  40. 96f08f0 [formal/jaspergold] Fix setting for conn_csvs by Guillermo Maturana · 3 years, 1 month ago
  41. 70a87d5 [sysrst_ctrl/fpv] Add an FPV target for the entire IP by Michael Schaffner · 3 years, 1 month ago
  42. 7ff8990 [fpv/script] Mark unreachable as failures by Cindy Chen · 3 years, 1 month ago
  43. e2400ae [fpv/prim_count] Inject fault to ensure counter errors are hit by Cindy Chen · 3 years, 4 months ago
  44. c0b2ef5 [fpv] Fix gui mode switch by Cindy Chen · 3 years, 1 month ago
  45. 7266d9c [fpv/script] Comment out one command that causes failure by Cindy Chen · 3 years, 2 months ago
  46. ad632a0 [fpv/script] Update tcl script by Cindy Chen · 3 years, 2 months ago
  47. a870ebe [fpv/pinmux] Add aon_wkup assertions by Cindy Chen · 3 years, 2 months ago
  48. 66acab0 [fpv/pinmux] Add aon_clock and reset to run script by Cindy Chen · 3 years, 2 months ago
  49. c85ddf7 [fpv/script] Clean up script by Cindy Chen · 3 years, 3 months ago
  50. 9639903 [fpv] Downgrade an error to a warning by Cindy Chen · 3 years, 4 months ago
  51. db4a55c [fpv] solve regression same tb issue by Cindy Chen · 3 years, 4 months ago
  52. 241a82c [fpv] prim_counter_fpv by Cindy Chen · 3 years, 6 months ago
  53. edc8093 [chip,formal] Add AST mem cfg to conn csv by Srikrishna Iyer · 3 years, 5 months ago
  54. c9985cd [conn] Update tb name by Cindy Chen · 3 years, 5 months ago
  55. 9f7e6d7 [fpv] FPV testbench rename by Cindy Chen · 3 years, 5 months ago
  56. c720ac8 [rv_plic] Produce top_earlgrey instance of rv_plic with ipgen by Philipp Wagner · 4 years ago
  57. 1d5491c [doc/formal] remove local run script from README by Cindy Chen · 3 years, 5 months ago
  58. 1fe09e0 [fpv] Remove unused scripting from hw/formal by Philipp Wagner · 3 years, 5 months ago
  59. 4b39fcb [fpv/tool] Support GUI mode on dvsim by Cindy Chen · 3 years, 6 months ago
  60. 16392ef [dv] Add sv_flist_gen_flags HJson var for FuseSoc by Srikrishna Iyer · 3 years, 7 months ago
  61. 32ac4e0 [prim] SRAM Async FIFO by Eunchan Kim · 3 years, 7 months ago
  62. 9ae1d11 [formal/conn] Move from top_earlgrey to chip_earlgrey_asic by Cindy Chen · 3 years, 8 months ago
  63. fe42eac [vcformal/script] Downgrade Error to Warning by Cindy Chen · 3 years, 7 months ago
  64. 8cb3e90 [formal/conn] Fix top_earlgrey reset by Guillermo Maturana · 3 years, 8 months ago
  65. fd9f854 [formal] Support vc formal by Cindy Chen · 3 years, 8 months ago
  66. fd69996 [vcformal] Support VC Formal in dvsim by ayann-snps · 3 years, 9 months ago
  67. 1a906e8 [alert_handler/fpv] Revive testbenches for esc and ping timers by Michael Schaffner · 3 years, 9 months ago
  68. 53ce3bb [formal/conn] Support dvsim to publish regression result summary by Cindy Chen · 4 years ago
  69. a3e123f [formal] Clean up some formal warnings by Cindy Chen · 4 years ago
  70. ef62c7b [formal] unify export name and small clean up by Cindy Chen · 4 years ago
  71. 9c0ed31 [formal] Update readme by Cindy Chen · 4 years ago
  72. b1b62c9 [formal] clean up names from fconn to conn by Cindy Chen · 4 years ago
  73. 5b6f9d6 [dvsim] Added common build fail patterns by Srikrishna Iyer · 4 years ago
  74. 2773319 [dvsim] Minor cleanups to to formal flow by Srikrishna Iyer · 4 years ago
  75. 4653df9 [fpv] Fix connectivity script folder name by Cindy Chen · 4 years ago
  76. f59a6b3 [formal/script] Update generic formal flow naming from `fpv` to `formal` by Cindy Chen · 4 years ago
  77. e051f4c [formal/conn] Support connectivity test locally by Cindy Chen · 4 years ago
  78. 5c36fd4 [dvsim/conn] Add formal connectivity flow in dvsim by Cindy Chen · 4 years ago
  79. 4853e57 [fpv] compile issue fix by Cindy Chen · 4 years ago
  80. b680119 [doc/formal] Fixes typo and minor style issues. by Matute · 4 years ago
  81. 00a064a [dvsim] Use bash when running make underneath by Srikrishna Iyer · 4 years ago
  82. 306c52a [fpv] Move .core file generation into reggen by Rupert Swarbrick · 4 years ago
  83. f3b61c0 [fpv] First update CSR assertion check by Cindy Chen · 4 years, 2 months ago
  84. 15912f5 [Verible/FPV] Workaround that excludes CSR FPV files in Verible runs by Michael Schaffner · 4 years, 1 month ago
  85. 43ce8d5 [padctrl] Remove padctrl sources and merge functionality into pinmux by Michael Schaffner · 4 years, 1 month ago
  86. 8a00452 [fpv] update jg tcl script for 2020.12 new version by Cindy Chen · 4 years, 1 month ago
  87. 5c755b6 [fpv] top_level updates by Cindy Chen · 4 years, 5 months ago
  88. f561a2a [prim_ram_*p_adv/prim_otp] Add option to use standard Hamming ECC by Michael Schaffner · 4 years, 2 months ago
  89. d6b6b0e [fpv] Add SECDED FPV testbenches to regressions by Michael Schaffner · 4 years, 2 months ago
  90. 106f4cb [alert_rxtx/fpv] Update alert sender FPV testbenches by Michael Schaffner · 4 years, 2 months ago
  91. 36d5949 [fpv/rv_dm] Update rv_dm tb to run FPV by Cindy Chen · 4 years, 2 months ago
  92. 9f1bcca Do not require pyyaml >= 5.1 by Philipp Wagner · 4 years, 2 months ago
  93. acac3a5 [fpv] Fix jaspergold run script by Cindy Chen · 4 years, 3 months ago
  94. 498deab [vendor/ibex] Remove duplicate check tool requirements files by Michael Schaffner · 4 years, 3 months ago
  95. 981c36b [dvsim] Logic to copy repo to scratch area by Srikrishna Iyer · 4 years, 3 months ago
  96. a23dfec [util] Rejig how we load hjson configurations for dvsim.py by Rupert Swarbrick · 4 years, 6 months ago
  97. 1690ca0 [fpv] update jaspergold parse script by Cindy Chen · 4 years, 4 months ago
  98. d4d8a5a [formal] update wording from sanity to smoke by Cindy Chen · 4 years, 4 months ago
  99. c07ce2e [fpv] Support --flag fusesoc option in FPV script by Cindy Chen · 4 years, 4 months ago
  100. a8fb05e [dvsim] Fix HJson bugs by Srikrishna Iyer · 4 years, 5 months ago