Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / e6bc4a44049c0baef253f90a32e750f9b9bf3f10 / hw / formal
  1. f561a2a [prim_ram_*p_adv/prim_otp] Add option to use standard Hamming ECC by Michael Schaffner · 4 years, 2 months ago
  2. d6b6b0e [fpv] Add SECDED FPV testbenches to regressions by Michael Schaffner · 4 years, 2 months ago
  3. 106f4cb [alert_rxtx/fpv] Update alert sender FPV testbenches by Michael Schaffner · 4 years, 3 months ago
  4. 36d5949 [fpv/rv_dm] Update rv_dm tb to run FPV by Cindy Chen · 4 years, 3 months ago
  5. 9f1bcca Do not require pyyaml >= 5.1 by Philipp Wagner · 4 years, 3 months ago
  6. acac3a5 [fpv] Fix jaspergold run script by Cindy Chen · 4 years, 3 months ago
  7. 498deab [vendor/ibex] Remove duplicate check tool requirements files by Michael Schaffner · 4 years, 4 months ago
  8. 981c36b [dvsim] Logic to copy repo to scratch area by Srikrishna Iyer · 4 years, 4 months ago
  9. a23dfec [util] Rejig how we load hjson configurations for dvsim.py by Rupert Swarbrick · 4 years, 7 months ago
  10. 1690ca0 [fpv] update jaspergold parse script by Cindy Chen · 4 years, 4 months ago
  11. d4d8a5a [formal] update wording from sanity to smoke by Cindy Chen · 4 years, 5 months ago
  12. c07ce2e [fpv] Support --flag fusesoc option in FPV script by Cindy Chen · 4 years, 5 months ago
  13. a8fb05e [dvsim] Fix HJson bugs by Srikrishna Iyer · 4 years, 6 months ago
  14. 2615cf1 [fpv] JG script improvement by Cindy Chen · 4 years, 5 months ago
  15. a0f1ab9 [dv/common] Move testplan from tools directory to data by Weicai Yang · 4 years, 6 months ago
  16. 6154c5c [formal/doc] Minor typo fix in subtitle by Michael Schaffner · 4 years, 6 months ago
  17. 496b90f [fpv/prim_packer] Add a FPV TB by Cindy Chen · 4 years, 10 months ago
  18. dbedcfb [fpv/doc] README syntax fix by Cindy Chen · 4 years, 7 months ago
  19. 40faa56 [formal] Increase JG automatic BBOX size by Eunchan Kim · 4 years, 8 months ago
  20. ea90aac [dvsim] Change cores-root to avoid conflicts with autogen'd core files by Michael Schaffner · 4 years, 8 months ago
  21. be47dd7 [flows] Various updates to tools and documents to suppose top/ip select by Timothy Chen · 4 years, 8 months ago
  22. 270c637 [dv. tool] Add fusesoc generator for CSR asserts by Srikrishna Iyer · 4 years, 8 months ago
  23. a07394d [util/syn_yosys] fix yosys/sv2v flow by Zachary Snow · 4 years, 8 months ago
  24. 7008042 [prim_arbiter_fixed/fpv] Add generated FPV testbench by Michael Schaffner · 4 years, 10 months ago
  25. e2366db [tool/fpv] add fpv to dvsim.py by Cindy Chen · 5 years ago
  26. 5cae0cf Allow different assertion "backends" in prim_assert.sv by Rupert Swarbrick · 5 years ago
  27. 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
  28. b0c7606 [FPV/script] Move fpv.tcl script to jaspergold tooling folder by Cindy Chen · 4 years, 9 months ago
  29. c37f697 [fpv/tcl] Clean up VC Formal script by Cindy Chen · 4 years, 9 months ago
  30. 2f75cfb [fpv/script] add script to parse FPV result by Cindy Chen · 4 years, 10 months ago
  31. 42ae6fc [formal] updated sv2v synthesis/lec flow by Zachary Snow · 4 years, 10 months ago
  32. 95f55d5 [fpv] fix TLUL_adapter_sram assertion unreachables by Cindy Chen · 4 years, 10 months ago
  33. 531ae5a [fpv] formal compile fix required by VC Formal by Cindy Chen · 4 years, 10 months ago
  34. 5583524 [fpv] clean up disable assertion todo in fpv.tcl by Cindy Chen · 4 years, 10 months ago
  35. 872edb7 [otp_ctrl/formal] add bind file to formal target by Cindy Chen · 4 years, 11 months ago
  36. e89bc96 [fpv/pwrmgr] Add pwrmgr and top_earlgrey to FPV by Cindy Chen · 5 years ago
  37. c30dad2 [fpv/rv_plic] top_earlgrey rv_plic fpv tb by Cindy Chen · 5 years ago
  38. c5fb426 [formal] support VC Formal in FPV bash script by Cindy Chen · 5 years ago
  39. 0d7f7ac [fpv] fpv improvement by Cindy Chen · 5 years ago
  40. 4af6c25 [fpv] Adding VC Formal support to the script and document by Will Chen · 5 years ago
  41. 81fca45 [doc] Fix links by Tobias Wölfel · 5 years ago
  42. 2b7cd93 [fpv/usbuart] Fix compile error by Cindy Chen · 5 years ago
  43. 1860473 [formal] cleanup fpv_all by Cindy Chen · 5 years ago
  44. 8e1d093 [fpv] Update fpv_all script by Michael Schaffner · 5 years ago
  45. 8067f46 [dv/alert_handler] support escalator by Cindy Chen · 5 years ago
  46. aa5a7cc [fpv/prim_arbiter] Add FPV tb for prim arbiter and align port naming by Michael Schaffner · 5 years ago
  47. de3b010 [formal] support FPV_ALL by Cindy Chen · 5 years ago
  48. c5ed91c [synthesis] Several small fixes to make DC synthesis run by Michael Schaffner · 5 years ago
  49. ca61d28 [fpv/script] Add more options by Cindy Chen · 5 years ago
  50. 9ffaadb [fpv/doc] Add coding guidelines by Cindy Chen · 5 years ago
  51. 0bad783 [fpv/autogen] Add automations to create fpv csr by Cindy Chen · 5 years ago
  52. a89dbe4 [fpv] FPV flow updates by Michael Schaffner · 5 years ago
  53. 8711e21 [alert_handler/fpv] Add FPV testbench for ping_timer by Michael Schaffner · 5 years ago
  54. 4d268df [fpv] add coverage collection in fpv by Cindy Chen · 5 years ago
  55. 09402b4 [doc] Fix typos by Philipp Wagner · 5 years ago
  56. 14a3fee [doc] Use consistent spelling/capitalization of names by Philipp Wagner · 5 years ago
  57. 8c725d4 [fpv/common] Fix fpv run files and dependency by Cindy Chen · 5 years ago
  58. dddaa14 [rv_plic] Implement a binary tree variant of the rv_plic_target module by Michael Schaffner · 5 years ago
  59. 94f8b6a [rv_plic/fpv] This aligns the naming scheme and hierarchy of all FPV TBs by Michael Schaffner · 5 years ago
  60. ee9e8db [dv/fpv] Clean up FPV script and add EndpointType to tlul_assert.sv by Michael Schaffner · 5 years ago
  61. 6b3aa12 [fpv/rv_plic] Add documentation by Cindy Chen · 5 years ago
  62. 9eebde0 [doc] Completely replace docgen with hugo by Garret Kelly · 5 years ago
  63. 7840d7b Remove names from TODO by Tobias Wölfel · 5 years ago
  64. 93043d0 Upgrade FuseSoC command by Tobias Wölfel · 5 years ago
  65. 19ab493 [formal] Add assumption for TLUL by Cindy Chen · 5 years ago
  66. 135321f [formal] add rv_plic assertion by Cindy Chen · 6 years ago
  67. 03cf29f [util/syn_yosys] Add LEC script to check Verilog generated by sv2v by Nils Graf · 6 years ago
  68. a17fb6f [doc] remove non-ASCII characters by Scott Johnson · 5 years ago
  69. fe2ae85 [padctrl/fpv] Initial FPV testbench for padctrl by Michael Schaffner · 5 years ago
  70. 622631b [pinmux/fpv] Add FPV testbench for pinmux by Michael Schaffner · 5 years ago
  71. d0fdd73 [FPV] Add prim_lfsr, alert/esc_rxtx to fpv_all script by Michael Schaffner · 6 years ago
  72. d3be37b [alert_handler/prim] Add FPV testbenches for diff rx/tx prims by Michael Schaffner · 6 years ago
  73. 61e442b [formal] modify some settings by Cindy Chen · 6 years ago
  74. 78607aa [hw/formal] Adding assertion for scanmode_i input by Nils Graf · 6 years ago
  75. 909c9ae [prim_lfsr] Add FPV testbench by Michael Schaffner · 6 years ago
  76. 9b849c7 [hw/formal] define all clocks and resets for all blocks by Nils Graf · 6 years ago
  77. bf77322 [hw/formal] Removed a few more assert -disable by Nils Graf · 6 years ago
  78. 0584991 [hw/formal] Fix rtl_diff_all for rv_plic by Nils Graf · 6 years ago
  79. f1993a4 [hw/formal] Update LEC script for vendor dirs by Nils Graf · 6 years ago
  80. e9e504a [prim_assert] Add more macros for FPV by Michael Schaffner · 6 years ago
  81. 802543a Start of public OpenTitan development history by lowRISC Contributors · 6 years ago