rems-project/sail

Sail architecture definition language

56 best points · 16 comments · 2 Hacker News posts · 967 GitHub stars · View on GitHub

Hacker News discussions

• The Sail ISA specification language (56 points, 15 comments, by bryanrasmussen, 2020-08-11)
• The Sail ISA Specification Language (3 points, 1 comments, by peter_d_sherman, 2019-04-24)