blob: b766f10cfa3559fac6785bc4a64ed7e056615732 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
package pkg;
typedef logic [7:0] uint8_t;
typedef enum logic [7:0] {bb=8'hBB} enum8_t;
endpackage
module top;
(* keep *) (pkg::uint8_t) a = 8'hAA;
(* keep *) (pkg::enum8_t) b_enum = pkg::bb;
always @* assert(a == 8'hAA);
always @* assert(b_enum == 8'hBB);
endmodule
|