| /* | |
| :name: case_constant | |
| :description: A module testing case statement with constant expression | |
| :should_fail: 0 | |
| :tags: 12.5.2 | |
| */ | |
| module case_tb (); | |
| wire [3:0] a = 0; | |
| reg [3:0] b = 0; | |
| always begin | |
| case(1) | |
| a[0] : b = 1; | |
| a[1] : b = 2; | |
| a[2] : b = 3; | |
| a[3] : b = 4; | |
| default b = 0; | |
| endcase | |
| end | |
| endmodule |