test: ql: use another pass name to verify if plugin was imported already Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
diff --git a/ql-qlf-plugin/tests/consts/consts.tcl b/ql-qlf-plugin/tests/consts/consts.tcl index 71ca0ad..270f679 100644 --- a/ql-qlf-plugin/tests/consts/consts.tcl +++ b/ql-qlf-plugin/tests/consts/consts.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/dffs/dffs.tcl b/ql-qlf-plugin/tests/dffs/dffs.tcl index d96b3e6..2626215 100644 --- a/ql-qlf-plugin/tests/dffs/dffs.tcl +++ b/ql-qlf-plugin/tests/dffs/dffs.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/fsm/fsm.tcl b/ql-qlf-plugin/tests/fsm/fsm.tcl index 2e09677..61a1e10 100644 --- a/ql-qlf-plugin/tests/fsm/fsm.tcl +++ b/ql-qlf-plugin/tests/fsm/fsm.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/full_adder/full_adder.tcl b/ql-qlf-plugin/tests/full_adder/full_adder.tcl index 9c5a402..9fe651f 100644 --- a/ql-qlf-plugin/tests/full_adder/full_adder.tcl +++ b/ql-qlf-plugin/tests/full_adder/full_adder.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands # Equivalence check for adder synthesis for qlf-k4n8
diff --git a/ql-qlf-plugin/tests/iob_no_flatten/iob_no_flatten.tcl b/ql-qlf-plugin/tests/iob_no_flatten/iob_no_flatten.tcl index 9ab802a..a18c03a 100644 --- a/ql-qlf-plugin/tests/iob_no_flatten/iob_no_flatten.tcl +++ b/ql-qlf-plugin/tests/iob_no_flatten/iob_no_flatten.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf} +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf} yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/latches/latches.tcl b/ql-qlf-plugin/tests/latches/latches.tcl index 864876c..72b31d8 100644 --- a/ql-qlf-plugin/tests/latches/latches.tcl +++ b/ql-qlf-plugin/tests/latches/latches.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/logic/logic.tcl b/ql-qlf-plugin/tests/logic/logic.tcl index 0e10db5..b1de9f7 100644 --- a/ql-qlf-plugin/tests/logic/logic.tcl +++ b/ql-qlf-plugin/tests/logic/logic.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands #Logic test for qlf_k4n8 device
diff --git a/ql-qlf-plugin/tests/mac_unit/mac_unit.tcl b/ql-qlf-plugin/tests/mac_unit/mac_unit.tcl index 5028d41..0db32a9 100644 --- a/ql-qlf-plugin/tests/mac_unit/mac_unit.tcl +++ b/ql-qlf-plugin/tests/mac_unit/mac_unit.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf} +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf} yosys -import ;# ingest plugin commands set TOP "mac_unit"
diff --git a/ql-qlf-plugin/tests/multiplier/multiplier.tcl b/ql-qlf-plugin/tests/multiplier/multiplier.tcl index 762bac6..5c783c2 100644 --- a/ql-qlf-plugin/tests/multiplier/multiplier.tcl +++ b/ql-qlf-plugin/tests/multiplier/multiplier.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf} +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf} yosys -import ;# ingest plugin commands set TOP "mult16x16"
diff --git a/ql-qlf-plugin/tests/mux/mux.tcl b/ql-qlf-plugin/tests/mux/mux.tcl index 47a1e1b..3d0f949 100644 --- a/ql-qlf-plugin/tests/mux/mux.tcl +++ b/ql-qlf-plugin/tests/mux/mux.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/pp3_bram/pp3_bram.tcl b/ql-qlf-plugin/tests/pp3_bram/pp3_bram.tcl index 8c9dde1..eadfda3 100644 --- a/ql-qlf-plugin/tests/pp3_bram/pp3_bram.tcl +++ b/ql-qlf-plugin/tests/pp3_bram/pp3_bram.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/qlf_k6n10_bram/bram.tcl b/ql-qlf-plugin/tests/qlf_k6n10_bram/bram.tcl index 989b2d5..5275fa5 100644 --- a/ql-qlf-plugin/tests/qlf_k6n10_bram/bram.tcl +++ b/ql-qlf-plugin/tests/qlf_k6n10_bram/bram.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/shreg/shreg.tcl b/ql-qlf-plugin/tests/shreg/shreg.tcl index 9be1ca3..dba736c 100644 --- a/ql-qlf-plugin/tests/shreg/shreg.tcl +++ b/ql-qlf-plugin/tests/shreg/shreg.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v
diff --git a/ql-qlf-plugin/tests/tribuf/tribuf.tcl b/ql-qlf-plugin/tests/tribuf/tribuf.tcl index acee086..0d759b5 100644 --- a/ql-qlf-plugin/tests/tribuf/tribuf.tcl +++ b/ql-qlf-plugin/tests/tribuf/tribuf.tcl
@@ -1,5 +1,5 @@ yosys -import -if { [info procs synth_quicklogic] == {} } { plugin -i ql-qlf } +if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf } yosys -import ;# ingest plugin commands read_verilog $::env(DESIGN_TOP).v