aboutsummaryrefslogtreecommitdiffstats
path: root/tests/ice40/mux.ys
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-22 12:35:35 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-22 16:05:12 -0700
commitf9906eed68beab359ed83beee2bcf42ffac908c3 (patch)
treecfc5831a72d320f861ddb742833959918191da7c /tests/ice40/mux.ys
parent9224b3bc1721ae45abf11594b3ab9a58e50aa86f (diff)
downloadyosys-f9906eed68beab359ed83beee2bcf42ffac908c3.tar.gz
yosys-f9906eed68beab359ed83beee2bcf42ffac908c3.tar.bz2
yosys-f9906eed68beab359ed83beee2bcf42ffac908c3.zip
Fix comments
Diffstat (limited to 'tests/ice40/mux.ys')
-rw-r--r--tests/ice40/mux.ys6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/ice40/mux.ys b/tests/ice40/mux.ys
index 63d22001f..182b49499 100644
--- a/tests/ice40/mux.ys
+++ b/tests/ice40/mux.ys
@@ -1,8 +1,8 @@
read_verilog mux.v
proc
flatten
-equiv_opt -assert -map +/ice40/cells_sim.v synth_ice40
-design -load postopt
-cd top
+equiv_opt -assert -map +/ice40/cells_sim.v synth_ice40 # equivalency check
+design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
+cd top # Constrain all select calls below inside the top module
select -assert-count 19 t:SB_LUT4
select -assert-none t:SB_LUT4 %% t:* %D