Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / 2f2ff3a4ead77176f097ded58395b382a37d3151 / hw / formal
  1. 4d268df [fpv] add coverage collection in fpv by Cindy Chen · 5 years ago
  2. 09402b4 [doc] Fix typos by Philipp Wagner · 5 years ago
  3. 14a3fee [doc] Use consistent spelling/capitalization of names by Philipp Wagner · 5 years ago
  4. 8c725d4 [fpv/common] Fix fpv run files and dependency by Cindy Chen · 5 years ago
  5. dddaa14 [rv_plic] Implement a binary tree variant of the rv_plic_target module by Michael Schaffner · 5 years ago
  6. 94f8b6a [rv_plic/fpv] This aligns the naming scheme and hierarchy of all FPV TBs by Michael Schaffner · 5 years ago
  7. ee9e8db [dv/fpv] Clean up FPV script and add EndpointType to tlul_assert.sv by Michael Schaffner · 5 years ago
  8. 6b3aa12 [fpv/rv_plic] Add documentation by Cindy Chen · 5 years ago
  9. 9eebde0 [doc] Completely replace docgen with hugo by Garret Kelly · 5 years ago
  10. 7840d7b Remove names from TODO by Tobias Wölfel · 5 years ago
  11. 93043d0 Upgrade FuseSoC command by Tobias Wölfel · 5 years ago
  12. 19ab493 [formal] Add assumption for TLUL by Cindy Chen · 5 years ago
  13. 135321f [formal] add rv_plic assertion by Cindy Chen · 6 years ago
  14. 03cf29f [util/syn_yosys] Add LEC script to check Verilog generated by sv2v by Nils Graf · 6 years ago
  15. a17fb6f [doc] remove non-ASCII characters by Scott Johnson · 5 years ago
  16. fe2ae85 [padctrl/fpv] Initial FPV testbench for padctrl by Michael Schaffner · 5 years ago
  17. 622631b [pinmux/fpv] Add FPV testbench for pinmux by Michael Schaffner · 5 years ago
  18. d0fdd73 [FPV] Add prim_lfsr, alert/esc_rxtx to fpv_all script by Michael Schaffner · 6 years ago
  19. d3be37b [alert_handler/prim] Add FPV testbenches for diff rx/tx prims by Michael Schaffner · 6 years ago
  20. 61e442b [formal] modify some settings by Cindy Chen · 6 years ago
  21. 78607aa [hw/formal] Adding assertion for scanmode_i input by Nils Graf · 6 years ago
  22. 909c9ae [prim_lfsr] Add FPV testbench by Michael Schaffner · 6 years ago
  23. 9b849c7 [hw/formal] define all clocks and resets for all blocks by Nils Graf · 6 years ago
  24. bf77322 [hw/formal] Removed a few more assert -disable by Nils Graf · 6 years ago
  25. 0584991 [hw/formal] Fix rtl_diff_all for rv_plic by Nils Graf · 6 years ago
  26. f1993a4 [hw/formal] Update LEC script for vendor dirs by Nils Graf · 6 years ago
  27. e9e504a [prim_assert] Add more macros for FPV by Michael Schaffner · 6 years ago
  28. 802543a Start of public OpenTitan development history by lowRISC Contributors · 6 years ago