Add opt_rmdff tests
[yosys.git] / tests / simple / realexpr.v
1
2 module demo_001(y1, y2, y3, y4);
3 output [7:0] y1, y2, y3, y4;
4
5 localparam [7:0] p1 = 123.45;
6 localparam real p2 = 123.45;
7 localparam real p3 = 123;
8 localparam p4 = 123.45;
9
10 assign y1 = p1 + 0.2;
11 assign y2 = p2 + 0.2;
12 assign y3 = p3 + 0.2;
13 assign y4 = p4 + 0.2;
14 endmodule
15
16 module demo_002(y0, y1, y2, y3);
17 output [63:0] y0, y1, y2, y3;
18
19 assign y0 = 1'bx >= (-1 * -1.17);
20 assign y1 = 1 ? 1 ? -1 : 'd0 : 0.0;
21 assign y2 = 1 ? -1 : 1 ? 'd0 : 0.0;
22 assign y3 = 1 ? -1 : 'd0;
23 endmodule
24