From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 4 Oct 2019 06:44:10 +0000 (+0200)
Subject: Check for MULT18X18D, since that is working now
X-Git-Tag: working-ls180~989^2~6
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=abb5a3a44df18a6ca18b6998f4c35aafc4284df8;p=yosys.git

Check for MULT18X18D, since that is working now
---

diff --git a/tests/ecp5/macc.ys b/tests/ecp5/macc.ys
index bc6340509..f60281a54 100644
--- a/tests/ecp5/macc.ys
+++ b/tests/ecp5/macc.ys
@@ -1,15 +1,13 @@
 read_verilog macc.v
 proc
 hierarchy -top top
-#Failed because of 14 unproven cells.
-equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
-#equiv_opt -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
+# Blocked by issue #1358 (Missing ECP5 simulation models)
+#equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
+equiv_opt -map +/ecp5/cells_sim.v synth_ecp5 # 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 1 t:MULT18X18D
 select -assert-count 4 t:CCU2C
-select -assert-count 6 t:L6MUX21
-select -assert-count 49 t:LUT4
-select -assert-count 19 t:PFUMX
 select -assert-count 7 t:TRELLIS_FF
 
-select -assert-none t:CCU2C t:L6MUX21 t:LUT4 t:PFUMX  t:TRELLIS_FF %% t:* %D
+select -assert-none t:CCU2C t:MULT18X18D t:TRELLIS_FF %% t:* %D
diff --git a/tests/ecp5/mul.ys b/tests/ecp5/mul.ys
index 0e8d6908f..132340664 100644
--- a/tests/ecp5/mul.ys
+++ b/tests/ecp5/mul.ys
@@ -1,11 +1,10 @@
 read_verilog mul.v
 hierarchy -top top
-equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
+# Blocked by issue #1358 (Missing ECP5 simulation models)
+#equiv_opt -assert -map +/ecp5/cells_sim.v synth_ecp5 # equivalency check
+equiv_opt -map +/ecp5/cells_sim.v synth_ecp5 # 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 6 t:CCU2C
-select -assert-count 46 t:L6MUX21
-select -assert-count 169 t:LUT4
-select -assert-count 72 t:PFUMX
-
-select -assert-none t:CCU2C t:L6MUX21 t:LUT4 t:PFUMX %% t:* %D
+select -assert-count 1 t:MULT18X18D
+select -assert-none t:MULT18X18D %% t:* %D