| /* | |
| :name: bounded-queues | |
| :description: Test bounded queues support | |
| :should_fail: 0 | |
| :tags: 7.10.5 7.10 7.10.2.7 7.10.2.1 | |
| */ | |
| module top (); | |
| int q[$:2]; // 3 elements | |
| initial begin | |
| q.push_back(1); | |
| q.push_back(2); | |
| q.push_back(3); | |
| $display(":assert: ((%d == 1) and (%d == 2) and (%d == 3))", | |
| q[0], q[1], q[2]); | |
| $display(":re: BEGIN:QUEUE_FULL"); // expect warning | |
| q.push_back(4); | |
| $display(":re: END"); | |
| $display(":assert: (%d==3)", q.size); | |
| end | |
| endmodule |