AngeloJacobo
|
4a71002cf8
|
ignore new fiels due to new verilator, run_compile can now run lint separately
|
2025-03-01 14:42:05 +08:00 |
|
AngeloJacobo
|
aad75f936c
|
add formal for ecc and separated ddr3 formal to _default and _ecc
|
2024-07-28 17:28:05 +08:00 |
|
AngeloJacobo
|
70843e529c
|
remove formal files ahead of time
|
2024-06-29 19:23:23 +08:00 |
|
AngeloJacobo
|
88a4f9afa7
|
add ecc files
|
2024-06-24 17:19:04 +08:00 |
|
AngeloJacobo
|
8fb24dd180
|
add copyright on headers
|
2024-06-09 12:01:30 +08:00 |
|
AngeloJacobo
|
2333095668
|
clean repo
|
2024-06-09 11:31:58 +08:00 |
|
AngeloJacobo
|
75531be3c2
|
clean repo
|
2024-06-09 11:12:52 +08:00 |
|
AngeloJacobo
|
fe6919c987
|
formally verify only the controller
|
2024-05-26 20:27:18 +08:00 |
|
AngeloJacobo
|
15fe5af5d9
|
add extra line
|
2023-11-26 13:35:59 +08:00 |
|
AngeloJacobo
|
6d594a0dbb
|
use multiple-task sby with summary at end
|
2023-11-18 13:36:29 +08:00 |
|
AngeloJacobo
|
4589fc3dfe
|
script for running verilator, yosys, iverilog, and then symbiyosys
|
2023-07-24 17:33:56 +08:00 |