Deligiannis, N. (2019). Tethorax: A RISC-V Base Integer ISA (RV32I) Implementation (Version 1.0) [Computer software]. https://github.com/NikosDelijohn/Tethorax