UberDDR3/formal
AngeloJacobo 4fead8f7fb add tasks for ECC and fixed bug causing symbiyosys to crash (.module == 0 error) 2024-06-29 19:24:51 +08:00
..
ddr3_multiconfig.sby add tasks for ECC and fixed bug causing symbiyosys to crash (.module == 0 error) 2024-06-29 19:24:51 +08:00
ddr3_singleconfig.sby add bit files for example demo 2024-06-10 16:44:41 +08:00
ecc_formal.v add initial ECC, ECC_ENABLE = 2 working 2024-06-17 16:25:06 +08:00
fwb_slave.v add bit files for example demo 2024-06-10 16:44:41 +08:00