tests: Add mixed_upto write_verilog test

tests/Makefile

@@ -75,6 +75,7 @@ MK_TEST_DIRS += ./memories
 MK_TEST_DIRS += ./aiger
 MK_TEST_DIRS += ./alumacc
 MK_TEST_DIRS += ./check_mem
+MK_TEST_DIRS += ./write_verilog
 
 all: vanilla-test
 

tests/write_verilog/generate_mk.py

@@ -0,0 +1,37 @@
+#!/usr/bin/env python3
+
+import glob
+
+import sys
+sys.path.append("..")
+
+import gen_tests_makefile
+
+def generate_write_test(sv_file: str):
+    # if the first line of the file starts with // (ie a comment), the rest of
+    # the line is treated as the commands to run after reading the input
+    header_cmds = ""
+    with open(sv_file, "r") as f:
+        line = f.readline().rstrip()
+        if line.startswith("//"):
+            header_cmds = line[3:]
+
+    # process input & write output
+    read_cmd = f"read -sv {sv_file}; {header_cmds}"
+    out_file = f"{sv_file}.out"
+    out_yosys_cmd = f"{read_cmd}; rename gold gate; write_verilog {out_file}"
+    out_cmd = f'$(YOSYS) -l {out_file}.err -p "{out_yosys_cmd}" && mv {out_file}.err {out_file}.log'
+    gen_tests_makefile.generate_target(out_file, out_cmd)
+
+    # test input & output equivalence
+    equiv = "equiv_make gold gate equiv; equiv_induct equiv; equiv_status -assert equiv"
+    yosys_cmd = f"{read_cmd}; design -stash gold; read -sv {out_file}; {header_cmds}; design -import gold; {equiv}"
+    cmd = f'$(YOSYS) -l {sv_file}.err -p "{yosys_cmd}" && mv {sv_file}.err {sv_file}.log'
+    gen_tests_makefile.generate_target(sv_file, cmd, [out_file])
+
+def generate_write_tests():
+    # currently configured to use `read -sv` on each
+    for f in sorted(glob.glob("*.sv")):
+        generate_write_test(f)
+
+gen_tests_makefile.generate_custom(generate_write_tests)

tests/write_verilog/mixed_upto.sv

@@ -0,0 +1,13 @@
+// hierarchy; proc;; simplemap
+module gold(
+  input clk,
+  input [1:0] in,
+  output reg [1:0] out
+);
+  reg [0:1] r;
+
+  always @(posedge clk) begin
+    out <= r;
+    r <= in;
+  end
+endmodule