#sail

SAIL ISA规范语言
The Sail ISA specification language(github.com)
2020-8-12 0:15
SAIL是一种用于描述处理器的指令集体系结构(ISA)语义的语言。SAIL的目标是提供一种工程师友好的、类似于供应商伪代码的语言来描述指令语义。它本质上是一种一阶强制语言，但是对于数值类型和位向量长度(使用Z3自动检查)具有轻量级依赖类型。它已用于多篇论文，可从http://www.cl.cam.ac.uk/~pes......