GitHub repository: tum-ei-eda/RISCV_ISA_CoreDSL
Description: CoreDSL descriptions of the RISC-V ISA