Google Git
Sign in
opensecura / 3p / lowrisc / opentitan / ffa126f00f5cae43bd8ccd1e212550ab2d997491 / hw / formal
  1. 0d7f7ac [fpv] fpv improvement by Cindy Chen · 5 years ago
  2. 4af6c25 [fpv] Adding VC Formal support to the script and document by Will Chen · 5 years ago
  3. 81fca45 [doc] Fix links by Tobias Wölfel · 5 years ago
  4. 2b7cd93 [fpv/usbuart] Fix compile error by Cindy Chen · 5 years ago
  5. 1860473 [formal] cleanup fpv_all by Cindy Chen · 5 years ago
  6. 8e1d093 [fpv] Update fpv_all script by Michael Schaffner · 5 years ago
  7. 8067f46 [dv/alert_handler] support escalator by Cindy Chen · 5 years ago
  8. aa5a7cc [fpv/prim_arbiter] Add FPV tb for prim arbiter and align port naming by Michael Schaffner · 5 years ago
  9. de3b010 [formal] support FPV_ALL by Cindy Chen · 5 years ago
  10. c5ed91c [synthesis] Several small fixes to make DC synthesis run by Michael Schaffner · 5 years ago
  11. ca61d28 [fpv/script] Add more options by Cindy Chen · 5 years ago
  12. 9ffaadb [fpv/doc] Add coding guidelines by Cindy Chen · 5 years ago
  13. 0bad783 [fpv/autogen] Add automations to create fpv csr by Cindy Chen · 5 years ago
  14. a89dbe4 [fpv] FPV flow updates by Michael Schaffner · 5 years ago
  15. 8711e21 [alert_handler/fpv] Add FPV testbench for ping_timer by Michael Schaffner · 5 years ago
  16. 4d268df [fpv] add coverage collection in fpv by Cindy Chen · 5 years ago
  17. 09402b4 [doc] Fix typos by Philipp Wagner · 5 years ago
  18. 14a3fee [doc] Use consistent spelling/capitalization of names by Philipp Wagner · 5 years ago
  19. 8c725d4 [fpv/common] Fix fpv run files and dependency by Cindy Chen · 5 years ago
  20. dddaa14 [rv_plic] Implement a binary tree variant of the rv_plic_target module by Michael Schaffner · 5 years ago
  21. 94f8b6a [rv_plic/fpv] This aligns the naming scheme and hierarchy of all FPV TBs by Michael Schaffner · 5 years ago
  22. ee9e8db [dv/fpv] Clean up FPV script and add EndpointType to tlul_assert.sv by Michael Schaffner · 5 years ago
  23. 6b3aa12 [fpv/rv_plic] Add documentation by Cindy Chen · 5 years ago
  24. 9eebde0 [doc] Completely replace docgen with hugo by Garret Kelly · 5 years ago
  25. 7840d7b Remove names from TODO by Tobias Wölfel · 5 years ago
  26. 93043d0 Upgrade FuseSoC command by Tobias Wölfel · 5 years ago
  27. 19ab493 [formal] Add assumption for TLUL by Cindy Chen · 5 years ago
  28. 135321f [formal] add rv_plic assertion by Cindy Chen · 6 years ago
  29. 03cf29f [util/syn_yosys] Add LEC script to check Verilog generated by sv2v by Nils Graf · 6 years ago
  30. a17fb6f [doc] remove non-ASCII characters by Scott Johnson · 5 years ago
  31. fe2ae85 [padctrl/fpv] Initial FPV testbench for padctrl by Michael Schaffner · 5 years ago
  32. 622631b [pinmux/fpv] Add FPV testbench for pinmux by Michael Schaffner · 5 years ago
  33. d0fdd73 [FPV] Add prim_lfsr, alert/esc_rxtx to fpv_all script by Michael Schaffner · 6 years ago
  34. d3be37b [alert_handler/prim] Add FPV testbenches for diff rx/tx prims by Michael Schaffner · 6 years ago
  35. 61e442b [formal] modify some settings by Cindy Chen · 6 years ago
  36. 78607aa [hw/formal] Adding assertion for scanmode_i input by Nils Graf · 6 years ago
  37. 909c9ae [prim_lfsr] Add FPV testbench by Michael Schaffner · 6 years ago
  38. 9b849c7 [hw/formal] define all clocks and resets for all blocks by Nils Graf · 6 years ago
  39. bf77322 [hw/formal] Removed a few more assert -disable by Nils Graf · 6 years ago
  40. 0584991 [hw/formal] Fix rtl_diff_all for rv_plic by Nils Graf · 6 years ago
  41. f1993a4 [hw/formal] Update LEC script for vendor dirs by Nils Graf · 6 years ago
  42. e9e504a [prim_assert] Add more macros for FPV by Michael Schaffner · 6 years ago
  43. 802543a Start of public OpenTitan development history by lowRISC Contributors · 6 years ago