Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / 118ace7223180643490901e678a500da1b0a75f4 / hw / formal
  1. 9f7e6d7 [fpv] FPV testbench rename by Cindy Chen · 3 years, 6 months ago
  2. c720ac8 [rv_plic] Produce top_earlgrey instance of rv_plic with ipgen by Philipp Wagner · 4 years, 1 month ago
  3. 1d5491c [doc/formal] remove local run script from README by Cindy Chen · 3 years, 6 months ago
  4. 1fe09e0 [fpv] Remove unused scripting from hw/formal by Philipp Wagner · 3 years, 6 months ago
  5. 4b39fcb [fpv/tool] Support GUI mode on dvsim by Cindy Chen · 3 years, 6 months ago
  6. 16392ef [dv] Add sv_flist_gen_flags HJson var for FuseSoc by Srikrishna Iyer · 3 years, 7 months ago
  7. 32ac4e0 [prim] SRAM Async FIFO by Eunchan Kim · 3 years, 8 months ago
  8. 9ae1d11 [formal/conn] Move from top_earlgrey to chip_earlgrey_asic by Cindy Chen · 3 years, 8 months ago
  9. fe42eac [vcformal/script] Downgrade Error to Warning by Cindy Chen · 3 years, 8 months ago
  10. 8cb3e90 [formal/conn] Fix top_earlgrey reset by Guillermo Maturana · 3 years, 8 months ago
  11. fd9f854 [formal] Support vc formal by Cindy Chen · 3 years, 9 months ago
  12. fd69996 [vcformal] Support VC Formal in dvsim by ayann-snps · 3 years, 9 months ago
  13. 1a906e8 [alert_handler/fpv] Revive testbenches for esc and ping timers by Michael Schaffner · 3 years, 10 months ago
  14. 53ce3bb [formal/conn] Support dvsim to publish regression result summary by Cindy Chen · 4 years ago
  15. a3e123f [formal] Clean up some formal warnings by Cindy Chen · 4 years ago
  16. ef62c7b [formal] unify export name and small clean up by Cindy Chen · 4 years ago
  17. 9c0ed31 [formal] Update readme by Cindy Chen · 4 years ago
  18. b1b62c9 [formal] clean up names from fconn to conn by Cindy Chen · 4 years ago
  19. 5b6f9d6 [dvsim] Added common build fail patterns by Srikrishna Iyer · 4 years ago
  20. 2773319 [dvsim] Minor cleanups to to formal flow by Srikrishna Iyer · 4 years ago
  21. 4653df9 [fpv] Fix connectivity script folder name by Cindy Chen · 4 years ago
  22. f59a6b3 [formal/script] Update generic formal flow naming from `fpv` to `formal` by Cindy Chen · 4 years ago
  23. e051f4c [formal/conn] Support connectivity test locally by Cindy Chen · 4 years ago
  24. 5c36fd4 [dvsim/conn] Add formal connectivity flow in dvsim by Cindy Chen · 4 years ago
  25. 4853e57 [fpv] compile issue fix by Cindy Chen · 4 years ago
  26. b680119 [doc/formal] Fixes typo and minor style issues. by Matute · 4 years, 1 month ago
  27. 00a064a [dvsim] Use bash when running make underneath by Srikrishna Iyer · 4 years, 1 month ago
  28. 306c52a [fpv] Move .core file generation into reggen by Rupert Swarbrick · 4 years, 1 month ago
  29. f3b61c0 [fpv] First update CSR assertion check by Cindy Chen · 4 years, 2 months ago
  30. 15912f5 [Verible/FPV] Workaround that excludes CSR FPV files in Verible runs by Michael Schaffner · 4 years, 2 months ago
  31. 43ce8d5 [padctrl] Remove padctrl sources and merge functionality into pinmux by Michael Schaffner · 4 years, 2 months ago
  32. 8a00452 [fpv] update jg tcl script for 2020.12 new version by Cindy Chen · 4 years, 2 months ago
  33. 5c755b6 [fpv] top_level updates by Cindy Chen · 4 years, 5 months ago
  34. f561a2a [prim_ram_*p_adv/prim_otp] Add option to use standard Hamming ECC by Michael Schaffner · 4 years, 2 months ago
  35. d6b6b0e [fpv] Add SECDED FPV testbenches to regressions by Michael Schaffner · 4 years, 2 months ago
  36. 106f4cb [alert_rxtx/fpv] Update alert sender FPV testbenches by Michael Schaffner · 4 years, 2 months ago
  37. 36d5949 [fpv/rv_dm] Update rv_dm tb to run FPV by Cindy Chen · 4 years, 3 months ago
  38. 9f1bcca Do not require pyyaml >= 5.1 by Philipp Wagner · 4 years, 3 months ago
  39. acac3a5 [fpv] Fix jaspergold run script by Cindy Chen · 4 years, 3 months ago
  40. 498deab [vendor/ibex] Remove duplicate check tool requirements files by Michael Schaffner · 4 years, 3 months ago
  41. 981c36b [dvsim] Logic to copy repo to scratch area by Srikrishna Iyer · 4 years, 4 months ago
  42. a23dfec [util] Rejig how we load hjson configurations for dvsim.py by Rupert Swarbrick · 4 years, 7 months ago
  43. 1690ca0 [fpv] update jaspergold parse script by Cindy Chen · 4 years, 4 months ago
  44. d4d8a5a [formal] update wording from sanity to smoke by Cindy Chen · 4 years, 5 months ago
  45. c07ce2e [fpv] Support --flag fusesoc option in FPV script by Cindy Chen · 4 years, 5 months ago
  46. a8fb05e [dvsim] Fix HJson bugs by Srikrishna Iyer · 4 years, 5 months ago
  47. 2615cf1 [fpv] JG script improvement by Cindy Chen · 4 years, 5 months ago
  48. a0f1ab9 [dv/common] Move testplan from tools directory to data by Weicai Yang · 4 years, 6 months ago
  49. 6154c5c [formal/doc] Minor typo fix in subtitle by Michael Schaffner · 4 years, 6 months ago
  50. 496b90f [fpv/prim_packer] Add a FPV TB by Cindy Chen · 4 years, 10 months ago
  51. dbedcfb [fpv/doc] README syntax fix by Cindy Chen · 4 years, 7 months ago
  52. 40faa56 [formal] Increase JG automatic BBOX size by Eunchan Kim · 4 years, 7 months ago
  53. ea90aac [dvsim] Change cores-root to avoid conflicts with autogen'd core files by Michael Schaffner · 4 years, 8 months ago
  54. be47dd7 [flows] Various updates to tools and documents to suppose top/ip select by Timothy Chen · 4 years, 8 months ago
  55. 270c637 [dv. tool] Add fusesoc generator for CSR asserts by Srikrishna Iyer · 4 years, 8 months ago
  56. a07394d [util/syn_yosys] fix yosys/sv2v flow by Zachary Snow · 4 years, 8 months ago
  57. 7008042 [prim_arbiter_fixed/fpv] Add generated FPV testbench by Michael Schaffner · 4 years, 10 months ago
  58. e2366db [tool/fpv] add fpv to dvsim.py by Cindy Chen · 5 years ago
  59. 5cae0cf Allow different assertion "backends" in prim_assert.sv by Rupert Swarbrick · 5 years ago
  60. 03a87c0 [util/syn_yosys] Add file lists to syn_yosys flow and run LEC on full design by Nils Graf · 4 years, 9 months ago
  61. b0c7606 [FPV/script] Move fpv.tcl script to jaspergold tooling folder by Cindy Chen · 4 years, 9 months ago
  62. c37f697 [fpv/tcl] Clean up VC Formal script by Cindy Chen · 4 years, 9 months ago
  63. 2f75cfb [fpv/script] add script to parse FPV result by Cindy Chen · 4 years, 9 months ago
  64. 42ae6fc [formal] updated sv2v synthesis/lec flow by Zachary Snow · 4 years, 10 months ago
  65. 95f55d5 [fpv] fix TLUL_adapter_sram assertion unreachables by Cindy Chen · 4 years, 10 months ago
  66. 531ae5a [fpv] formal compile fix required by VC Formal by Cindy Chen · 4 years, 10 months ago
  67. 5583524 [fpv] clean up disable assertion todo in fpv.tcl by Cindy Chen · 4 years, 10 months ago
  68. 872edb7 [otp_ctrl/formal] add bind file to formal target by Cindy Chen · 4 years, 10 months ago
  69. e89bc96 [fpv/pwrmgr] Add pwrmgr and top_earlgrey to FPV by Cindy Chen · 5 years ago
  70. c30dad2 [fpv/rv_plic] top_earlgrey rv_plic fpv tb by Cindy Chen · 5 years ago
  71. c5fb426 [formal] support VC Formal in FPV bash script by Cindy Chen · 5 years ago
  72. 0d7f7ac [fpv] fpv improvement by Cindy Chen · 5 years ago
  73. 4af6c25 [fpv] Adding VC Formal support to the script and document by Will Chen · 5 years ago
  74. 81fca45 [doc] Fix links by Tobias Wölfel · 5 years ago
  75. 2b7cd93 [fpv/usbuart] Fix compile error by Cindy Chen · 5 years ago
  76. 1860473 [formal] cleanup fpv_all by Cindy Chen · 5 years ago
  77. 8e1d093 [fpv] Update fpv_all script by Michael Schaffner · 5 years ago
  78. 8067f46 [dv/alert_handler] support escalator by Cindy Chen · 5 years ago
  79. aa5a7cc [fpv/prim_arbiter] Add FPV tb for prim arbiter and align port naming by Michael Schaffner · 5 years ago
  80. de3b010 [formal] support FPV_ALL by Cindy Chen · 5 years ago
  81. c5ed91c [synthesis] Several small fixes to make DC synthesis run by Michael Schaffner · 5 years ago
  82. ca61d28 [fpv/script] Add more options by Cindy Chen · 5 years ago
  83. 9ffaadb [fpv/doc] Add coding guidelines by Cindy Chen · 5 years ago
  84. 0bad783 [fpv/autogen] Add automations to create fpv csr by Cindy Chen · 5 years ago
  85. a89dbe4 [fpv] FPV flow updates by Michael Schaffner · 5 years ago
  86. 8711e21 [alert_handler/fpv] Add FPV testbench for ping_timer by Michael Schaffner · 5 years ago
  87. 4d268df [fpv] add coverage collection in fpv by Cindy Chen · 5 years ago
  88. 09402b4 [doc] Fix typos by Philipp Wagner · 5 years ago
  89. 14a3fee [doc] Use consistent spelling/capitalization of names by Philipp Wagner · 5 years ago
  90. 8c725d4 [fpv/common] Fix fpv run files and dependency by Cindy Chen · 5 years ago
  91. dddaa14 [rv_plic] Implement a binary tree variant of the rv_plic_target module by Michael Schaffner · 5 years ago
  92. 94f8b6a [rv_plic/fpv] This aligns the naming scheme and hierarchy of all FPV TBs by Michael Schaffner · 5 years ago
  93. ee9e8db [dv/fpv] Clean up FPV script and add EndpointType to tlul_assert.sv by Michael Schaffner · 5 years ago
  94. 6b3aa12 [fpv/rv_plic] Add documentation by Cindy Chen · 5 years ago
  95. 9eebde0 [doc] Completely replace docgen with hugo by Garret Kelly · 5 years ago
  96. 7840d7b Remove names from TODO by Tobias Wölfel · 5 years ago
  97. 93043d0 Upgrade FuseSoC command by Tobias Wölfel · 5 years ago
  98. 19ab493 [formal] Add assumption for TLUL by Cindy Chen · 5 years ago
  99. 135321f [formal] add rv_plic assertion by Cindy Chen · 6 years ago
  100. 03cf29f [util/syn_yosys] Add LEC script to check Verilog generated by sv2v by Nils Graf · 6 years ago