decode_start.sail « aarch64 - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/aarch64/decode_start.sail

blob: 610d01c0e6c91280507cc4c00caffd7b37ad4def (plain)

1
2
3

val decode : bits(32) -> unit effect {escape, undef, wreg, rreg, rmem, wmem}

scattered function decode