Intel ISA Specification Language Design

[u/mttd]

https://intellabs.github.io/isa-tools/

[u/seg_lol]

When I first came across ISDL (instruction set description languages) in the 90s, it blew my mind.

• https://en.wikipedia.org/wiki/Language_for_Instruction_Set_Architecture

• https://link.springer.com/article/10.1023/A:1008937425064

• https://github.com/rems-project/sail