Merge pull request #9 from SergeyDegtyar/master

Add new tests to 'simple' and 'misc' test groups

misc/Makefile

@@ -48,7 +48,7 @@ $(eval $(call template,scc, scc scc_all_cell_types scc_expect scc_max_depth scc_
 $(eval $(call template,scatter, scatter ))
 
 #rename
-$(eval $(call template,rename, rename rename_top rename_src rename_hide rename_enumerate rename_enumerate_pat))
+$(eval $(call template,rename, rename rename_top rename_src rename_hide rename_enumerate rename_enumerate_pat rename_wire))
 
 #qwp
 #qwp_v - exception
@@ -72,4 +72,72 @@ $(eval $(call template,cover, cover cover_q cover_o cover_dir cover_a ))
 #insbuf ERROR: Found error in internal cell
 #$(eval $(call template,insbuf,insbuf insbuf_cell))
 
+#add
+$(eval $(call template,add, add add_wire add_input add_output add_inout add_global_input ))
+
+#blackbox
+$(eval $(call template,blackbox, blackbox ))
+
+#bugpoint ERROR: No such command: autoidx (type 'help' for a command overview)
+#$(eval $(call template,bugpoint, bugpoint bugpoint_yosys bugpoint_script bugpoint_grep bugpoint_fast bugpoint_clean bugpoint_modules bugpoint_ports bugpoint_cells bugpoint_connections  ))
+
+#chformal
+$(eval $(call template,chformal, chformal chformal_assert2assume chformal_assert chformal_assume2assert chformal_assume chformal_cover chformal_delay chformal_early chformal_proc_early chformal_fair2live_assert2assume chformal_fair2live chformal_fair chformal_live2fair chformal_live chformal_skip ))
+$(eval $(call template,chformal_dff, chformal chformal_assert2assume chformal_assert chformal_assume2assert chformal_assume chformal_cover chformal_delay chformal_early chformal_proc_early chformal_fair2live_assert2assume chformal_fair2live chformal_fair chformal_live2fair chformal_live chformal_skip ))
+
+#chtype
+$(eval $(call template,chtype, chtype chtype_map chtype_selection chtype_set))
+
+#connect
+#connect_nomap_port connect_port - ERROR: Can't find cell $2.
+$(eval $(call template,connect,  connect_nomap_set connect_nomap_unset connect_nounset_set connect_set connect_unset))
+
+#connwrappers
+$(eval $(call template,connwrappers, connwrappers connwrappers_signed connwrappers_unsigned connwrappers_port ))
+
+#plugin
+$(eval $(call template,plugin, plugin plugin_i plugin_a plugin_l ))
+
+#select
+$(eval $(call template,select, select select_all select_add select_add_all select_assert_any select_assert_count select_assert_max select_assert_min select_assert_none select_clear select_count select_del select_list select_module select_none select_read select_set select_write select_add_A_eq select_add_a_eq select_add_A_lesseq select_add_a_lesseq select_add_A_less select_add_a_less select_add_A_moreeq select_add_a_moreeq select_add_A_more select_add_a_more select_add_A select_add_a select_add_c select_add_i select_add_mid select_add_m select_add_n select_add_obj select_add_o select_add_p select_add_r_eq select_add_r_lesseq select_add_r_less select_add_r_moreeq select_add_r_more select_add_r select_add_ss select_add_s select_add_t select_add_w select_add_x ))
+$(eval $(call template,select_mem, select select_all select_add select_add_all select_assert_any select_assert_count_mem select_assert_max_mem select_assert_min select_assert_none select_clear select_count select_del select_list select_module_mem select_none select_read select_set select_write select_add_A_eq select_add_a_eq select_add_A_lesseq select_add_a_lesseq select_add_A_less select_add_a_less select_add_A_moreeq select_add_a_moreeq select_add_A_more select_add_a_more select_add_A select_add_a select_add_c select_add_i select_add_mid select_add_m select_add_n select_add_obj select_add_o select_add_p select_add_r_eq select_add_r_lesseq select_add_r_less select_add_r_moreeq select_add_r_more select_add_r select_add_ss select_add_s select_add_t select_add_w select_add_x ))
+$(eval $(call template,select_ls, select_ls select_ls_top))
+$(eval $(call template,select_cd, select_cd select_cd_up select_cd_module ))
+$(eval $(call template,select_stack,select_%a select_%cie select_%ci select_%coe select_%co select_%C select_%c select_%i select_%M select_%m select_%n select_%R4 select_%R select_%s select_%u select_%x_%D select_%x_%d select_%xe select_%))
+
+#setattr
+$(eval $(call template,setattr, setattr setattr_mod setattr_set setattr_top setattr_unset setattr_set_proc ))
+$(eval $(call template,setattr_mem, setattr setattr_mod setattr_set setattr_top setattr_unset setattr_set_proc ))
+#setparam
+#setparam_type
+#ERROR: Found error in internal cell \top.$procdff$4 ($dff) at kernel/rtlil.cc:715:
+$(eval $(call template,setparam, setparam setparam_set  setparam_unset setparam_top ))
+#chparam
+$(eval $(call template,chparam, chparam chparam_set chparam_top chparam_list ))
+
+#setundef
+$(eval $(call template,setundef, setundef_one setundef_anyseq setundef_anyconst setundef_init setundef_random setundef_undef setundef_undriven setundef_expose))
+
+#assertpmux
+$(eval $(call template,assertpmux, assertpmux assertpmux_noinit assertpmux_always))
+
+#eval
+$(eval $(call template,eval, eval eval_set eval_set_undef eval_table eval_show eval_brute_force_equiv_checker eval_show_not_set eval_table_set eval_vloghammer_report eval_vloghammer_report_rtl))
+
+#freduce
+$(eval $(call template,freduce, freduce freduce_v freduce_vv freduce_inv freduce_stop freduce_dump ))
+$(eval $(call template,freduce_dff, freduce freduce_v freduce_vv freduce_inv freduce_stop freduce_dump ))
+$(eval $(call template,freduce_mem, freduce freduce_v freduce_vv freduce_inv freduce_stop freduce_dump ))
+
+#miter -assert
+$(eval $(call template,miter_assert, miter_assert miter_assert_flatten ))
+$(eval $(call template,miter_assert_assume, miter_assert miter_assert_flatten ))
+
+#sat
+$(eval $(call template,sat, sat_dump_cnf sat_dump_json sat_dump_vcd sat_initsteps sat_maxsteps sat_max sat_prove_x sat_set_all_undef_at sat_set_all_undef sat_set_any_undef_at sat_set_any_undef sat_set_def_at sat_set_def sat_set_init sat_set sat_show sat_stepsize sat_tempinduct_skip sat_unset_at ))
+
+#sim
+$(eval $(call template,sim,sim sim_a sim_clock sim_d sim_n sim_rstlen sim_vcd sim_w sim_zinit ))
+$(eval $(call template,sim_mem,sim sim_a sim_clockn sim_clock_mem sim_d sim_n sim_resetn sim_reset sim_rstlen sim_vcd sim_w sim_zinit_mem ))
+
 .PHONY: all clean

misc/add/top.v

+(* black_box *) module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output A,
+ output cout
+ );
+
+`ifndef BUG
+assign {cout,A} =  cin + y + x;
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule

misc/assertpmux/top.v

+module top(C, S, Y);
+input C;
+input [1:0] S;
+output reg [3:0] Y;
+
+initial Y = 0;
+
+always @(posedge C) begin
+        case (S)
+                2'b00: Y <= 4'b0001;
+                2'b01: Y <= 4'b0010;
+                2'b10: Y <= 4'b0100;
+                2'b11: Y <= 4'b1000;
+        endcase
+end
+
+endmodule

misc/blackbox/top.v

+module bb
+(
+ input x,
+ input y,
+ input cin,
+
+ output A,
+ output cout
+ );
+
+`ifndef BUG
+assign {cout,A} =  cin + y + x;
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output A,
+ output cout
+ );
+
+bb u_bb (x,y,cin,A,cout);
+
+endmodule

misc/bugpoint/top.v

+module bb
+(
+ input x,
+ input y,
+ input cin,
+
+ output A,
+ output cout
+ );
+
+`ifndef BUG
+assign {cout,A} =  cin + y + x;
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output A,
+ output cout
+ );
+
+bb u_bb (x,y,cin,A,cout);
+
+endmodule

misc/chformal/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output reg cout
+ );
+
+ reg ASSERT = 1;
+ (* anyconst *) reg foo;
+ (* anyseq *) reg too;
+
+
+
+ initial begin
+    begin
+        A = 0;
+        cout = 0;
+    end
+ end
+
+`ifndef BUG
+always @(posedge x) begin
+    if ($initstate)
+        A <= 0;
+    A <=  y + cin + too;
+    assume(too);
+    assume(s_eventually too);
+end
+always @(negedge x) begin
+    if ($initstate)
+        cout <= 0;
+        cout <=  y + A + foo;
+    assert(ASSERT);
+    assert(s_eventually ASSERT);
+end
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule

misc/chformal_dff/top.v

+module top
+    ( input d, clk, output reg q );
+	always @( posedge clk )
+            q <= d;
+endmodule

misc/chparam/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output cout
+ );
+ wire o;
+ parameter X = 1;
+
+`ifndef BUG
+always @(posedge cin)
+	A <= o;
+
+assign cout =  cin? y : x;
+
+middle u_mid (x,y,o);
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module middle
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule

misc/chtype/top.v

+module top
+    ( input d, clk, output reg q );
+	always @( posedge clk )
+            q <= d;
+endmodule

misc/connect/top.v

+module top
+    ( input d, clk, output reg q );
+	always @( posedge clk )
+            q <= d;
+endmodule

misc/connwrappers/top.v

+module top
+    ( input d, clk, output reg q );
+	always @( posedge clk )
+            q <= d;
+endmodule

misc/eval/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output cout
+ );
+ parameter X = 1;
+ wire o;
+
+`ifndef BUG
+always @(posedge cin)
+	A <= o;
+
+assign cout =  cin? y : x;
+
+middle u_mid (.x(x),.o(o),.y(1'b0));
+u_rtl inst_u_rtl (.x(x),.o(o));
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module middle
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule
+
+module u_rtl
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule

misc/freduce/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output cout
+ );
+ parameter X = 1;
+ wire o;
+
+`ifndef BUG
+always @(posedge cin)
+	A <= o;
+
+//assign cout =  cin? y : x;
+
+middle u_mid (.x(x),.o(o));
+u_rtl inst_u_rtl (.x(x),.o(o));
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module middle
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule
+
+module u_rtl
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule

misc/freduce_dff/top.v

+module top
+    ( input d, clk, output reg q );
+	always @( posedge clk )
+            q <= d;
+endmodule

misc/freduce_mem/top.v

+module top
+(
+	input [7:0] data_a, data_b,
+	input [6:1] addr_a, addr_b,
+	input we_a, we_b, re_a, re_b, clka, clkb,
+	output reg [7:0] q_a, q_b
+);
+	// Declare the RAM variable
+	reg [7:0] ram[63:0];
+	
+	initial begin
+        q_a <= 8'h00;        
+        q_b <= 8'd0;
+	end
+	
+	// Port A
+	always @ (posedge clka)
+	begin
+`ifndef BUG        
+		if (we_a) 
+`else        
+		if (we_b) 
+`endif
+		begin
+			ram[addr_a] <= data_a;
+			q_a <= data_a;
+		end
+		if (re_b) 
+		begin
+			q_a <= ram[addr_a];
+		end
+	end
+	
+	// Port B
+	always @ (posedge clkb)
+	begin
+`ifndef BUG        
+		if (we_b) 
+`else        
+		if (we_a) 
+`endif
+		begin
+			ram[addr_b] <= data_b;
+			q_b <= data_b;
+		end
+		if (re_b)
+		begin
+			q_b <= ram[addr_b];
+		end
+	end
+	
+endmodule								 

misc/miter_assert/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output cout
+ );
+ parameter X = 1;
+ wire o;
+
+`ifndef BUG
+always @(posedge cin)
+	A <= o;
+
+//assign cout =  cin? y : x;
+
+middle u_mid (.x(x),.o(o));
+u_rtl inst_u_rtl (.x(x),.o(o));
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module middle
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule
+
+module u_rtl
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule

misc/miter_assert_assume/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output reg cout
+ );
+
+ reg ASSERT = 1;
+ (* anyconst *) reg foo;
+ (* anyseq *) reg too;
+
+
+
+ initial begin
+    begin
+        A = 0;
+        cout = 0;
+    end
+ end
+
+`ifndef BUG
+always @(posedge x) begin
+    if ($initstate)
+        A <= 0;
+    A <=  y + cin + too;
+    assume(too);
+    assume(s_eventually too);
+end
+always @(negedge x) begin
+    if ($initstate)
+        cout <= 0;
+        cout <=  y + A + foo;
+    assert(ASSERT);
+    assert(s_eventually ASSERT);
+end
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module middle
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule

misc/plugin/top.v

+module top
+    ( input d, clk, output reg q );
+	always @( posedge clk )
+            q <= d;
+endmodule

misc/sat/top.v

+module top
+(
+ input x,
+ input y,
+ input cin,
+
+ output reg A,
+ output cout
+ );
+ parameter X = 1;
+ wire o;
+
+`ifndef BUG
+always @(posedge cin)
+	A <= o;
+
+//assign cout =  cin? y : x;
+
+middle u_mid (.x(x),.o(o));
+u_rtl inst_u_rtl (.x(x),.o(o));
+`else
+assign {cout,A} =  cin - y * x;
+`endif
+
+endmodule
+
+module middle
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule
+
+module u_rtl
+(
+	input x,
+	input y,
+	output o
+);
+
+assign o = x + y;
+endmodule

misc/scripts/add.ys

+read_verilog ../top.v
+tee -o result.log add -wire w 0

misc/scripts/add_global_input.ys

+read_verilog ../top.v
+tee -o result.log add -global_input gi 32000

misc/scripts/add_inout.ys

+read_verilog ../top.v
+tee -o result.log add -inout \34 3

misc/scripts/add_input.ys

+read_verilog ../top.v
+add -input i 2
+tee -o result.log add -input i 2

misc/scripts/add_output.ys

+read_verilog ../top.v
+tee -o result.log add -output o 3

misc/scripts/add_wire.ys

+read_verilog ../top.v
+tee -o result.log add -wire w 1

misc/scripts/assertpmux.ys

+read_verilog ../top.v
+proc
+tee -o result.log assertpmux

misc/scripts/assertpmux_always.ys

+read_verilog ../top.v
+proc
+tee -o result.log assertpmux -always

misc/scripts/assertpmux_noinit.ys

+read_verilog ../top.v
+proc
+tee -o result.log assertpmux -noinit

misc/scripts/blackbox.ys

+read_verilog ../top.v
+tee -o result.log blackbox bb

misc/scripts/bugpoint.ys

+read_verilog ../top.v
+tee -o result.log bugpoint

misc/scripts/bugpoint_cells.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -cells

misc/scripts/bugpoint_clean.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -clean

misc/scripts/bugpoint_connections.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -connections

misc/scripts/bugpoint_fast.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -fast

misc/scripts/bugpoint_grep.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -grep "Yosys"

misc/scripts/bugpoint_modules.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -modules

misc/scripts/bugpoint_ports.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -ports

misc/scripts/bugpoint_script.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -script script.ys

misc/scripts/bugpoint_yosys.ys

+read_verilog ../top.v
+tee -o result.log bugpoint -yosys yosys.ys

misc/scripts/chformal.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -remove

misc/scripts/chformal_assert.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -assert -remove

misc/scripts/chformal_assert2assume.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -assert2assume

misc/scripts/chformal_assume.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -assume -remove

misc/scripts/chformal_assume2assert.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -assume2assert

misc/scripts/chformal_cover.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -cover -remove

misc/scripts/chformal_delay.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -delay 2

misc/scripts/chformal_early.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -early

misc/scripts/chformal_fair.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -fair -remove

misc/scripts/chformal_fair2live.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -fair2live

misc/scripts/chformal_fair2live_assert2assume.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -fair2live -assert2assume

misc/scripts/chformal_live.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -live -remove

misc/scripts/chformal_live2fair.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -live2fair

misc/scripts/chformal_proc_early.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log chformal -early

misc/scripts/chformal_skip.ys

+read_verilog -sv ../top.v
+tee -o result.log chformal -skip 2

misc/scripts/chparam.ys

+read_verilog ../top.v
+proc
+tee -o result.log chparam

misc/scripts/chparam_list.ys

+read_verilog ../top.v
+proc
+tee -o result.log chparam -set X 2 top
+tee -o result.log chparam -list
+

misc/scripts/chparam_set.ys

+read_verilog ../top.v
+proc
+tee -o result.log chparam -set X 2 top

misc/scripts/chparam_top.ys

+read_verilog ../top.v
+proc
+tee -o result.log chparam top

misc/scripts/chtype.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log chtype

misc/scripts/chtype_map.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log chtype -map $dff $adff $2

misc/scripts/chtype_selection.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log chtype $2

misc/scripts/chtype_set.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log chtype -set $adff $2

misc/scripts/connect_nomap_port.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -nomap -port $dff d q

misc/scripts/connect_nomap_set.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -nomap -set d q

misc/scripts/connect_nomap_unset.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -nomap -unset d q

misc/scripts/connect_nounset_set.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -nounset -set d q

misc/scripts/connect_port.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -port $2 d q

misc/scripts/connect_set.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -set d q

misc/scripts/connect_unset.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log connect -unset d q

misc/scripts/connwrappers.ys

+read_verilog ../top.v
+proc
+tee -o result.log connwrappers

misc/scripts/connwrappers_port.ys

+read_verilog ../top.v
+proc
+tee -o result.log connwrappers -port $dff d 32000 1

misc/scripts/connwrappers_signed.ys

+read_verilog ../top.v
+proc
+tee -o result.log connwrappers -signed $dff d 3

misc/scripts/connwrappers_unsigned.ys

+read_verilog ../top.v
+proc
+tee -o result.log connwrappers -unsigned $dff d 0

misc/scripts/eval.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval middle

misc/scripts/eval_brute_force_equiv_checker.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -brute_force_equiv_checker_x top top

misc/scripts/eval_set.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -set x 1 -set y 0 middle

misc/scripts/eval_set_undef.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -set-undef middle

misc/scripts/eval_show.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -set x 1 -set y 0 -show o middle

misc/scripts/eval_show_not_set.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -show o middle

misc/scripts/eval_table.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -table o middle

misc/scripts/eval_table_set.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -set-undef -table o middle

misc/scripts/eval_vloghammer_report.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -vloghammer_report mid dle x 1

misc/scripts/eval_vloghammer_report_rtl.ys

+read_verilog ../top.v
+proc
+tee -o result.log eval -vloghammer_report u_ rtl y 1

misc/scripts/freduce.ys

+read_verilog ../top.v
+proc
+tee -o result.log freduce
+synth
+tee -o result.log freduce

misc/scripts/freduce_dump.ys

+read_verilog ../top.v
+proc
+tee -o result.log freduce -dump fred

misc/scripts/freduce_inv.ys

+read_verilog ../top.v
+proc
+tee -o result.log freduce -inv

misc/scripts/freduce_stop.ys

+read_verilog ../top.v
+proc
+tee -o result.log freduce -stop 1

misc/scripts/freduce_v.ys

+read_verilog ../top.v
+proc
+tee -o result.log freduce -v

misc/scripts/freduce_vv.ys

+read_verilog ../top.v
+proc
+tee -o result.log freduce -vv

misc/scripts/miter_assert.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log miter -assert -make_outputs top
+tee -o result.log miter -assert -make_outputs middle

misc/scripts/miter_assert_flatten.ys

+read_verilog -sv ../top.v
+proc
+tee -o result.log miter -assert -flatten top
+tee -o result.log miter -assert -flatten middle

misc/scripts/plugin.ys

+tee -o result.log plugin

misc/scripts/plugin_a.ys

+read_verilog ../top.v
+tee -o result.log plugin -i /usr/local/share/yosys/plugins/vhdl.so -a alias

misc/scripts/plugin_i.ys

+read_verilog ../top.v
+tee -o result.log plugin -i /usr/local/share/yosys/plugins/vhdl.so

misc/scripts/plugin_l.ys

+read_verilog ../top.v
+tee -o result.log plugin -l
+plugin -i /usr/local/share/yosys/plugins/vhdl.so -a alias
+tee -o result.log plugin -l

misc/scripts/rename_enumerate.ys

 read_verilog ../top.v
 proc
-tee -o result.log rename -enumerate
+tee -o result.log rename -enumerate  middle mid_module

misc/scripts/rename_src.ys

 read_verilog ../top.v
 proc
-tee -o result.log rename -src
+tee -o result.log rename -src middle mid_module

misc/scripts/rename_wire.ys

+read_verilog ../top.v
+proc
+tee -o result.log rename -wire middle mid_module