/* Define the FLEN value for the 'D' extension. */

type flen       : Int = 64
type flen_bytes : Int = 8
type flenbits         = bits(flen)