UberDDR3/formal
AngeloJacobo 1078e2ffe0 Revert "add self-refresh option, passing Simulation, ongoing formal"
This reverts commit a5e2adf4a4.
2024-11-23 11:43:05 +08:00
..
ddr3_multiconfig_default.sby Revert "add self-refresh option, passing Simulation, ongoing formal" 2024-11-23 11:43:05 +08:00
ddr3_multiconfig_ecc.sby Revert "add self-refresh option, passing Simulation, ongoing formal" 2024-11-23 11:43:05 +08:00
ddr3_singleconfig.sby Revert "add self-refresh option, passing Simulation, ongoing formal" 2024-11-23 11:43:05 +08:00
ecc.sby Revert "add self-refresh option, passing Simulation, ongoing formal" 2024-11-23 11:43:05 +08:00
ecc_formal.v Revert "add self-refresh option, passing Simulation, ongoing formal" 2024-11-23 11:43:05 +08:00
fwb_slave.v Revert "add self-refresh option, passing Simulation, ongoing formal" 2024-11-23 11:43:05 +08:00