machxo2: Add prefix parameter to mitertest.sh. All Verilog files top modules named "top".

3 files changed, 37 insertions, 37 deletions

diff --git a/machxo2/examples/mitertest.sh b/machxo2/examples/mitertest.sh
index 5190af31..f2c7ba57 100644
--- a/machxo2/examples/mitertest.sh
+++ b/machxo2/examples/mitertest.sh
@@ -1,11 +1,11 @@
 #!/usr/bin/env bash
 
-if [ $# -lt 1 ]; then
-    echo "Usage: $0 nextpnr_mode solve_mode"
+if [ $# -lt 3 ]; then
+    echo "Usage: $0 prefix nextpnr_mode solve_mode"
     exit -1
 fi
 
-case $1 in
+case $2 in
     "pack")
         NEXTPNR_MODE="--pack-only"
         ;;
@@ -21,7 +21,7 @@ case $1 in
         ;;
 esac
 
-case $2 in
+case $3 in
     "sat")
         SAT=1
         ;;
@@ -35,48 +35,48 @@ case $2 in
 esac
 
 do_sat() {
-    ${YOSYS:-yosys} -l ${1}miter_sat.log -p "read_verilog blinky.v
+    ${YOSYS:-yosys} -l ${2}${1}_miter_sat.log -p "read_verilog ${1}.v
                         rename top gold
-                        read_verilog ${1}blinky.v
+                        read_verilog ${2}${1}.v
                         rename top gate
                         read_verilog +/machxo2/cells_sim.v
 
-                        miter -equiv -make_assert -flatten gold gate ${1}miter
-                        hierarchy -top ${1}miter
-                        sat -verify -prove-asserts -tempinduct ${1}miter"
+                        miter -equiv -make_assert -flatten gold gate ${2}${1}_miter
+                        hierarchy -top ${2}${1}_miter
+                        sat -verify -prove-asserts -tempinduct ${2}${1}_miter"
 }
 
 do_smt() {
-    ${YOSYS:-yosys} -l ${1}miter_smt.log -p "read_verilog blinky.v
+    ${YOSYS:-yosys} -l ${2}${1}_miter_smt.log -p "read_verilog ${1}.v
                         rename top gold
-                        read_verilog ${1}blinky.v
+                        read_verilog ${2}${1}.v
                         rename top gate
                         read_verilog +/machxo2/cells_sim.v
 
-                        miter -equiv -make_assert gold gate ${1}miter
+                        miter -equiv -make_assert gold gate ${2}${1}_miter
                         hierarchy -auto-top -check; proc;
                         opt_clean
-                        write_verilog ${1}miter.v
-                        write_smt2 ${1}miter.smt2"
+                        write_verilog ${2}${1}_miter.v
+                        write_smt2 ${2}${1}_miter.smt2"
 
-    yosys-smtbmc -s z3 --dump-vcd ${1}miter_bmc.vcd ${1}miter.smt2
-    yosys-smtbmc -s z3 -i --dump-vcd ${1}miter_tmp.vcd ${1}miter.smt2
+    yosys-smtbmc -s z3 --dump-vcd ${2}${1}_miter_bmc.vcd ${2}${1}_miter.smt2
+    yosys-smtbmc -s z3 -i --dump-vcd ${2}${1}_miter_tmp.vcd ${2}${1}_miter.smt2
 }
 
 set -ex
 
-${YOSYS:-yosys} -p "read_verilog blinky.v
-                    synth_machxo2 -noiopad -json blinky.json
-                    show -format png -prefix blinky"
-${NEXTPNR:-../../nextpnr-machxo2} $NEXTPNR_MODE --1200 --package QFN32 --no-iobs --json blinky.json --write ${1}blinky.json
+${YOSYS:-yosys} -p "read_verilog ${1}.v
+                    synth_machxo2 -noiopad -json ${1}.json"
+# FIXME: --json option really not needed here.
+${NEXTPNR:-../../nextpnr-machxo2} $NEXTPNR_MODE --1200 --package QFN32 --no-iobs --json ${1}.json --write ${2}${1}.json
 ${YOSYS:-yosys} -p "read_verilog -lib +/machxo2/cells_sim.v
-                    read_json ${1}blinky.json
+                    read_json ${2}${1}.json
                     clean -purge
-                    show -format png -prefix ${1}blinky
-                    write_verilog -noattr -norename ${1}blinky.v"
+                    show -format png -prefix ${2}${1}
+                    write_verilog -noattr -norename ${2}${1}.v"
 
-if [ $2 = "sat" ]; then
-    do_sat $1
-elif [ $2 = "smt" ]; then
-    do_smt $1
+if [ $3 = "sat" ]; then
+    do_sat $1 $2
+elif [ $3 = "smt" ]; then
+    do_smt $1 $2
 fi
diff --git a/machxo2/examples/rgbcount.v b/machxo2/examples/rgbcount.v
index 230fc73c..bf5c7518 100644
--- a/machxo2/examples/rgbcount.v
+++ b/machxo2/examples/rgbcount.v
@@ -2,7 +2,7 @@
 // https://github.com/tinyfpga/TinyFPGA-A-Series/tree/master/template_a2
 // https://tinyfpga.com/a-series-guide.html used as a basis.
 
-module TinyFPGA_A2 (
+module top (
   (* LOC="21" *)
   inout pin6,
   (* LOC="26" *)
@@ -11,23 +11,23 @@ module TinyFPGA_A2 (
   inout pin10_sda,
 );
   wire clk;
-  
+
   OSCH #(
     .NOM_FREQ("2.08")
   ) internal_oscillator_inst (
-    .STDBY(1'b0), 
+    .STDBY(1'b0),
     .OSC(clk)
-  ); 
-  
+  );
+
   reg [23:0] led_timer;
-  
+
   always @(posedge clk) begin
-    led_timer <= led_timer + 1; 
+    led_timer <= led_timer + 1;
   end
-  
+
   // left side of board
   assign pin9_jtgnb = led_timer[23];
   assign pin10_sda = led_timer[22];
   assign pin6 = led_timer[21];
 
-endmodule
\ No newline at end of file
+endmodule
diff --git a/machxo2/examples/tinyfpga.v b/machxo2/examples/tinyfpga.v
index dfc2710d..bd26d8eb 100644
--- a/machxo2/examples/tinyfpga.v
+++ b/machxo2/examples/tinyfpga.v
@@ -2,7 +2,7 @@
 // https://github.com/tinyfpga/TinyFPGA-A-Series/tree/master/template_a2
 // https://tinyfpga.com/a-series-guide.html used as a basis.
 
-module TinyFPGA_A2 (
+module top (
   (* LOC="13" *)
   inout pin1
 );