blob: 57a78c53a5b4c4291c9c4441e85770c33b2125e0 (
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
|