1 2 3 4 5
/* Define the XLEN value for the architecture. */ type xlen : Int = 64 type xlen_bytes : Int = 8 type xlenbits = bits(xlen)