| /* | |
| :name: case_set | |
| :description: A module testing case set membership | |
| :should_fail: 0 | |
| :tags: 12.5.4 | |
| */ | |
| module case_tb (); | |
| reg [3:0] a = 0; | |
| reg [3:0] b = 0; | |
| always begin | |
| case(a) inside | |
| 1, 3: b = 1; | |
| 4'b01??, [5:6]: b = 2; | |
| default b = 3; | |
| endcase | |
| end | |
| endmodule |