And the other guys are even generating a hardware (plus a compiler toolchain) out of an ISA spec: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;LISA_(Language_for_Instruction_Set_Architecture)" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;LISA_(Language_for_Instruction...</a>