todo:

Notes related to Sail ISA specification language

Arm architecture, Dependent type, ISA specification

Papers related to Sail ISA specification language

• Detailed models of instruction set architectures: From pseudocode to formal semantics [armstrong:arw:2018]
• ISA semantics for ARMv8-A, RISC-V, and CHERI-MIPS [armstrong:popl19:2019]
• The state of Sail [armstrong:spisa:2019]
• End-to-end formal verification of a RISC-V processor extended with capability pointers [gao:fmcad:2021]