hierarchy - proc reorder

diff --git a/tests/efinix/add_sub.ys b/tests/efinix/add_sub.ys
index 67fa9f2e7127c6333b433fcb128bbb0fd8f46135..8bd28c68e2125ff64cbf1b99cbc426020970b5e7 100644 (file)
--- a/tests/efinix/add_sub.ys
+++ b/tests/efinix/add_sub.ys
@@ -1,5 +1,6 @@
 read_verilog add_sub.v
 hierarchy -top top
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # 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

diff --git a/tests/efinix/adffs.ys b/tests/efinix/adffs.ys
index 3471a0a80a9516e0de022627cb5058d2f886f459..791626428ff3023550703deb7e89d0faf6152a02 100644 (file)
--- a/tests/efinix/adffs.ys
+++ b/tests/efinix/adffs.ys
@@ -1,8 +1,8 @@
 read_verilog adffs.v
 design -save read
 
-proc
 hierarchy -top adff
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd adff # Constrain all select calls below inside the top module
@@ -13,8 +13,8 @@ select -assert-none t:EFX_FF t:EFX_GBUFCE %% t:* %D
 
 
 design -load read
-proc
 hierarchy -top adffn
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd adffn # Constrain all select calls below inside the top module
@@ -25,8 +25,8 @@ select -assert-none t:EFX_FF t:EFX_GBUFCE %% t:* %D
 
 
 design -load read
-proc
 hierarchy -top dffs
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd dffs # Constrain all select calls below inside the top module
@@ -38,8 +38,8 @@ select -assert-none t:EFX_FF t:EFX_GBUFCE t:EFX_LUT4 %% t:* %D
 
 
 design -load read
-proc
 hierarchy -top ndffnr
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd ndffnr # Constrain all select calls below inside the top module

diff --git a/tests/efinix/dffs.ys b/tests/efinix/dffs.ys
index fe8d93123458cb18f358e42839b61103654d849c..cdd288233520baef27e4187a4a28dc4f9b121a74 100644 (file)
--- a/tests/efinix/dffs.ys
+++ b/tests/efinix/dffs.ys
@@ -1,8 +1,8 @@
 read_verilog dffs.v
 design -save read
 
-proc
 hierarchy -top dff
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd dff # Constrain all select calls below inside the top module
@@ -12,8 +12,8 @@ select -assert-count 1 t:EFX_GBUFCE
 select -assert-none t:EFX_FF t:EFX_GBUFCE %% t:* %D
 
 design -load read
-proc
 hierarchy -top dffe
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd dffe # Constrain all select calls below inside the top module

diff --git a/tests/efinix/latches.ys b/tests/efinix/latches.ys
index f729c3bd92d751565cbfb3a5dc1107761c14307c..899d024ce536ca6cf85eb0496ddff46bf994064e 100644 (file)
--- a/tests/efinix/latches.ys
+++ b/tests/efinix/latches.ys
@@ -1,8 +1,8 @@
 read_verilog latches.v
 design -save read
 
-proc
 hierarchy -top latchp
+proc
 # Can't run any sort of equivalence check because latches are blown to LUTs
 synth_efinix
 cd latchp # Constrain all select calls below inside the top module
@@ -12,8 +12,8 @@ select -assert-none t:EFX_LUT4 %% t:* %D
 
 
 design -load read
-proc
 hierarchy -top latchn
+proc
 # Can't run any sort of equivalence check because latches are blown to LUTs
 synth_efinix
 cd latchn # Constrain all select calls below inside the top module
@@ -23,8 +23,8 @@ select -assert-none t:EFX_LUT4 %% t:* %D
 
 
 design -load read
-proc
 hierarchy -top latchsr
+proc
 # Can't run any sort of equivalence check because latches are blown to LUTs
 synth_efinix
 cd latchsr # Constrain all select calls below inside the top module

diff --git a/tests/efinix/logic.ys b/tests/efinix/logic.ys
index c2a7f5169a442f5f44f0632859654d10af3d702b..fdedb337be1272f2a3f68c1116811d5eccf59722 100644 (file)
--- a/tests/efinix/logic.ys
+++ b/tests/efinix/logic.ys
@@ -1,5 +1,6 @@
 read_verilog logic.v
 hierarchy -top top
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # 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

diff --git a/tests/efinix/mux.ys b/tests/efinix/mux.ys
index efe27583d7158a41ff338dda2204ca50981f82ab..71a9681de8b212a17eb16aff8a3f359a587a581e 100644 (file)
--- a/tests/efinix/mux.ys
+++ b/tests/efinix/mux.ys
@@ -1,8 +1,8 @@
 read_verilog mux.v
 design -save read
 
-proc
 hierarchy -top mux2
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux2 # Constrain all select calls below inside the top module
@@ -11,8 +11,8 @@ select -assert-count 1 t:EFX_LUT4
 select -assert-none t:EFX_LUT4 %% t:* %D
 
 design -load read
-proc
 hierarchy -top mux4
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux4 # Constrain all select calls below inside the top module
@@ -21,8 +21,8 @@ select -assert-count 2 t:EFX_LUT4
 select -assert-none t:EFX_LUT4 %% t:* %D
 
 design -load read
-proc
 hierarchy -top mux8
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux8 # Constrain all select calls below inside the top module
@@ -31,8 +31,8 @@ select -assert-count 5 t:EFX_LUT4
 select -assert-none t:EFX_LUT4 %% t:* %D
 
 design -load read
-proc
 hierarchy -top mux16
+proc
 equiv_opt -assert -map +/efinix/cells_sim.v synth_efinix # equivalency check
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 cd mux16 # Constrain all select calls below inside the top module