| //- @m2 defines/binding _ | |
| module m2; | |
| //- @x defines/binding X | |
| //- @y defines/binding Y | |
| int x, y; | |
| initial begin | |
| //- @#0 x ref X | |
| if (x) begin : gen_x | |
| //- @temp defines/binding Temp0 | |
| int temp; | |
| //- @temp ref Temp0 | |
| assign temp = 1; | |
| //- @x ref X | |
| end else if(x) begin | |
| //- @temp defines/binding Temp3 | |
| int temp; | |
| //- @temp ref Temp3 | |
| assign temp = 1; | |
| end else begin | |
| //- @temp defines/binding Temp4 | |
| int temp; | |
| //- @temp ref Temp4 | |
| assign temp = 1; | |
| end | |
| //- @#0y ref Y | |
| unique if (y) begin | |
| //- @temp defines/binding Temp1 | |
| int temp; | |
| //- @temp ref Temp1 | |
| assign temp = 1; | |
| //- @x ref X | |
| end else if(x) begin | |
| //- @temp defines/binding Temp5 | |
| int temp; | |
| //- @temp ref Temp5 | |
| assign temp = 1; | |
| end else begin | |
| //- @temp defines/binding Temp6 | |
| int temp; | |
| //- @temp ref Temp6 | |
| assign temp = 1; | |
| end | |
| //- @x ref X | |
| if (x) begin | |
| //- @temp defines/binding Temp2 | |
| int temp; | |
| //- @temp ref Temp2 | |
| assign temp = 1; | |
| //- @x ref X | |
| end else if(x) begin | |
| //- @temp defines/binding Temp11 | |
| int temp; | |
| //- @temp ref Temp11 | |
| assign temp = 1; | |
| end else begin | |
| //- @temp defines/binding Temp10 | |
| int temp; | |
| //- @temp ref Temp10 | |
| assign temp = 1; | |
| end | |
| //- @x ref X | |
| priority if (x) begin | |
| //- @temp defines/binding Temp7 | |
| int temp; | |
| //- @temp ref Temp7 | |
| assign temp = 1; | |
| //- @x ref X | |
| end else if(x) begin | |
| //- @temp defines/binding Temp8 | |
| int temp; | |
| //- @temp ref Temp8 | |
| assign temp = 1; | |
| end else begin | |
| //- @temp defines/binding Temp9 | |
| int temp; | |
| //- @temp ref Temp9 | |
| assign temp = 1; | |
| end | |
| end | |
| endmodule |