Remove ice40_unlut call, simply do equiv_opt on synth_ice40
authorEddie Hung <eddie@fpgeh.com>
Thu, 8 Aug 2019 04:33:56 +0000 (21:33 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 8 Aug 2019 04:33:56 +0000 (21:33 -0700)
tests/opt/opt_lut.ys

index 59b12c3511544f7c20351948f0110e9606f686b5..a9fccbb624c05e4d47e0baf73573977396025abd 100644 (file)
@@ -1,4 +1,2 @@
 read_verilog opt_lut.v
-synth_ice40
-ice40_unlut
-equiv_opt -map +/ice40/cells_sim.v -assert opt_lut -dlogic SB_CARRY:I0=1:I1=2:CI=3
+equiv_opt -map +/ice40/cells_sim.v -assert synth_ice40