David Chisnall: How to Design an ISA: The popularity of RISC-V has led many to try designing instruction sets. ACM Queue 21(6): 27-46 (2024)