let uu32: u32 = 32'h0x0x_0x0x; will transpile to int unsigned uu32; always_comb uu32 = 32'0x0x_0x0x;
But int is a 2-state data type in SV. So I think we need to either 1) change the type which u32, etc map to, or 2) raise an error when assigning a 4-state value to a variable of data type u32, etc.
let uu32: u32 = 32'h0x0x_0x0x;will transpile toint unsigned uu32; always_comb uu32 = 32'0x0x_0x0x;But
intis a 2-state data type in SV. So I think we need to either 1) change the type which u32, etc map to, or 2) raise an error when assigning a 4-state value to a variable of data type u32, etc.