bitfield.sail « examples « doc - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/doc/examples/bitfield.sail

blob: a7e23738ae5e6fbef7f2ce734e6aca74a406825d (plain)

bitfield cr : vector(8, dec, bit) = {
  CR0 : 7 .. 4,
  LT  : 7,
  GT  : 6,
  CR1 : 3 .. 2,
  CR3 : 1 .. 0
}
register CR : cr