aboutsummaryrefslogtreecommitdiffstats
path: root/tests/ice40/tribuf.ys
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ice40/tribuf.ys')
-rw-r--r--tests/ice40/tribuf.ys4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ice40/tribuf.ys b/tests/ice40/tribuf.ys
index 40ded734d..b319e6622 100644
--- a/tests/ice40/tribuf.ys
+++ b/tests/ice40/tribuf.ys
@@ -1,6 +1,6 @@
-equiv_opt -map ../../techlibs/ice40/cells_sim.v synth_ice40
synth_ice40
+equiv_opt -assert -map +/ice40/cells_sim.v -map +/simcells.v synth_ice40
+design -load postopt
select -assert-count 1 t:SB_LUT4
select -assert-count 1 t:SB_CARRY
select -assert-count 1 t:$_TBUF_
-write_verilog ./temp/tribuf_synth.v