|
|
|---|
|
|
|
|---|
Specialized versions of the RISC-V ISA.
RISC-V is a family of ISAs, parameterized over the features. We provide some specializations of the ISA, currently one for RV32IM and one for RV64IM. Those are currently both hand-written, but we plan to re-obtain them, and possibly others, via APT transformation applied to the general model.