/* Define the XLEN value for the architecture. */

type xlen       : Int = 32
type xlen_bytes : Int = 4
type xlenbits         = bits(xlen)