Minres / RISCV_ISA_CoreDSL

CoreDSL descriptions of the RISC-V ISA
Apache License 2.0
3 stars 11 forks source link

Fixes and changes from use in ETISS #3

Closed wysiwyng closed 2 years ago

wysiwyng commented 2 years ago

These changes have been made while integrating the CoreDSL 2 generated RISC-V models in ETISS. Currently a RV32GC + Zicsr + Zifencei core passes all relevant tests of the RISC-V instruction test suite, except the instructions LR and SC; the ETISS model provides own implementations for these here. If interested, I would include them here.

Changes include but not limited to: