Cleanup and formating

diff --git a/tests/anlogic/add_sub.ys b/tests/anlogic/add_sub.ys
index 55c0905066b8f69214268b14e1f80ce433541ff1..994cd0d035d537e767aaf650bdf6092b1460cc7d 100644 (file)
--- a/tests/anlogic/add_sub.ys
+++ b/tests/anlogic/add_sub.ys
@@ -5,5 +5,5 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
 cd top # Constrain all select calls below inside the top module
 select -assert-count 10 t:AL_MAP_ADDER
 select -assert-count 4 t:AL_MAP_LUT1
-select -assert-none t:AL_MAP_LUT1 t:AL_MAP_ADDER %% t:* %D
 
+select -assert-none t:AL_MAP_LUT1 t:AL_MAP_ADDER %% t:* %D

diff --git a/tests/anlogic/counter.ys b/tests/anlogic/counter.ys
index 5210221e3e2c738324b568ba08f3cff13e1560b0..036fdba465f2bfffced288e4fa9f2f99b0ab26b0 100644 (file)
--- a/tests/anlogic/counter.ys
+++ b/tests/anlogic/counter.ys
@@ -8,4 +8,4 @@ cd top # Constrain all select calls below inside the top module
 
 select -assert-count 9 t:AL_MAP_ADDER
 select -assert-count 8 t:AL_MAP_SEQ
-select -assert-none t:SB_CARRY t:AL_MAP_SEQ t:AL_MAP_ADDER %% t:* %D
+select -assert-none t:AL_MAP_SEQ t:AL_MAP_ADDER %% t:* %D

diff --git a/tests/anlogic/fsm.ys b/tests/anlogic/fsm.ys
index 76a5d3e432823c4706967d4de63ffa0f351f287e..452ef92513bb85169074c2f8cf110e4ef30696ec 100644 (file)
--- a/tests/anlogic/fsm.ys
+++ b/tests/anlogic/fsm.ys
@@ -11,4 +11,5 @@ select -assert-count 1 t:AL_MAP_LUT2
 select -assert-count 5 t:AL_MAP_LUT5
 select -assert-count 1 t:AL_MAP_LUT6
 select -assert-count 6 t:AL_MAP_SEQ
+
 select -assert-none t:AL_MAP_LUT2 t:AL_MAP_LUT5 t:AL_MAP_LUT6 t:AL_MAP_SEQ %% t:* %D

diff --git a/tests/anlogic/shifter.ys b/tests/anlogic/shifter.ys
index edd89b3447764fecff560f1aed6450eff8aa05f3..5eaed30a3391d590d7ee4d37636d97e2a6ed1798 100644 (file)
--- a/tests/anlogic/shifter.ys
+++ b/tests/anlogic/shifter.ys
@@ -6,4 +6,5 @@ equiv_opt -assert -map +/anlogic/cells_sim.v synth_anlogic # 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 8 t:AL_MAP_SEQ
+
 select -assert-none t:AL_MAP_SEQ %% t:* %D