riscv-bluespec-classic/bs/Types.bs

16 lines
319 B
Haskell

package Types(
Pc, Insn, Addr,
Byte, HalfWord, FullWord, DoubleWord, QuadWord
)
where
type Byte = UInt 8
type HalfWord = UInt 16
type FullWord = UInt 32
type DoubleWord = UInt 64
type QuadWord = UInt 128
type Insn = FullWord
type Pc = DoubleWord
type Addr = DoubleWord