| |
| // test_parse2synthtrans_behavopt_1_test.v |
| module f1_test(in, out, clk, reset); |
| input in, reset; |
| output reg out; |
| input clk; |
| reg signed [3:0] a; |
| reg signed [3:0] b; |
| reg signed [3:0] c; |
| reg [5:0] d; |
| reg [5:0] e; |
| |
| always @(clk or reset) begin |
| a = -4; |
| b = 2; |
| c = a + b; |
| d = a + b + c; |
| d = d*d; |
| if(b) |
| e = d*d; |
| else |
| e = d + d; |
| end |
| endmodule |
| |
| // test_parse2synthtrans_case_1_test.v |
| module f2_demultiplexer1_to_4 (out0, out1, out2, out3, in, s1, s0); |
| output out0, out1, out2, out3; |
| reg out0, out1, out2, out3; |
| input in; |
| input s1, s0; |
| reg [3:0] encoding; |
| reg [1:0] state; |
| always @(encoding) begin |
| case (encoding) |
| 4'bxx11: state = 1; |
| 4'bx0xx: state = 3; |
| 4'b11xx: state = 4; |
| 4'bx1xx: state = 2; |
| 4'bxx1x: state = 1; |
| 4'bxxx1: state = 0; |
| default: state = 0; |
| endcase |
| end |
| |
| always @(encoding) begin |
| case (encoding) |
| 4'b0000: state = 1; |
| default: state = 0; |
| endcase |
| end |
| endmodule |
| |
| // test_parse2synthtrans_contassign_1_test.v |
| module f3_test(in, out); |
| |
| input wire in; |
| output out; |
| assign out = (in+in); |
| assign out = 74; |
| endmodule |
| |
| // test_parse2synthtrans_module_basic0_test.v |
| module f4_test; |
| endmodule |
| |
| // test_parse2synthtrans_operators_1_test.v |
| module f5_test(in, out); |
| input in; |
| output out; |
| parameter p1 = 10; |
| parameter p2 = 5; |
| |
| assign out = +p1; |
| assign out = -p2; |
| assign out = p1 + p2; |
| assign out = p1 - p2; |
| endmodule |
| |
| // test_parse2synthtrans_param_1_test.v |
| module f6_test(in, out); |
| input in; |
| output out; |
| parameter p = 10; |
| |
| assign out = p; |
| endmodule |
| |
| // test_parse2synthtrans_port_scalar_1_test.v |
| module f7_test(in, out, io); |
| inout io; |
| output out; |
| input in; |
| |
| endmodule |
| |
| // test_parse2synthtrans_port_vector_1_test.v |
| module f8_test(in1, in2, out1, out2, io1, io2); |
| inout [1:0] io1; |
| inout [0:1] io2; |
| output [1:0] out1; |
| output [0:1] out2; |
| input [1:0] in1; |
| input [0:1] in2; |
| |
| endmodule |
| |
| // test_parse2synthtrans_v2k_comb_logic_sens_list_test.v |
| module f9_test(q, d, clk, reset); |
| output reg q; |
| input d, clk, reset; |
| |
| always @ (posedge clk, negedge reset) |
| if(!reset) q <= 0; |
| else q <= d; |
| |
| endmodule |