| // Check inference even when keep attribute specified | |
| (* top *) | |
| module test17c (input clk, input i, input e, output q); | |
| generate | |
| reg a1, a2, a3; | |
| (* keep *) reg a4; | |
| reg a5, a6, a7, 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 test17c; select t:SRL16E -assert-count 2; select t:BUFG t:SRL16E %% %n t:* %i -assert-none"; | |
| endmodule | |
| `endif |