| // Check inference even when keep attribute specified | |
| (* top *) | |
| module test17e (input clk, input i, input e, output q); | |
| generate | |
| reg a1, a2; | |
| (* blah *) reg a3; | |
| reg a4, a5, a6; | |
| (* boo *) reg a7; | |
| reg a8; | |
| always @(negedge clk) if (e) {a8,a7,a6,a5,a4,a3,a2,a1} <= {a7,a6,a5,a4,a3,a2,a1,i}; | |
| assign q = a8; | |
| endgenerate | |
| endmodule | |
| `ifndef _AUTOTB | |
| module __test ; | |
| wire [4095:0] assert_area = "cd test17e; select t:SRL16E -assert-count 1; select t:BUFG t:SRL16E %% %n t:* %i -assert-none;"; | |
| endmodule | |
| `endif |