mirror of
https://github.com/YosysHQ/yosys
synced 2025-08-15 15:25:28 +00:00
put back previous test state, due to default change
This commit is contained in:
parent
792cf8326e
commit
a42c630264
3 changed files with 6 additions and 6 deletions
|
@ -2,7 +2,7 @@ read_verilog ../common/lutram.v
|
|||
hierarchy -top lutram_1w1r
|
||||
proc
|
||||
memory -nomap
|
||||
equiv_opt -run :prove -map +/lattice/cells_sim_xo2.v synth_lattice -family xo2 -nowidelut
|
||||
equiv_opt -run :prove -map +/lattice/cells_sim_xo2.v synth_lattice -family xo2
|
||||
memory
|
||||
opt -full
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue