search

riscv / sail-riscv

Sail RISC-V model
https://lists.riscv.org/g/tech-golden-model
Other
467 stars 169 forks source link

zilsd/zcmlsd Support #490

Open simonacostinescu opened 6 months ago

simonacostinescu commented 6 months ago

Add support for not yet ratified zilsd/zcmlsd extension In c_emulator, the following options are added: -y to enable zilsd extension -Z to enable zcmlsd extension

In ocaml emulator the following options are added: -enable-zilsd to enable zilsd extension -enable-zcmlsd to enable zcmlsd extension

All options are false by default. The tests were split in Zilsd and Zcmlsd folders because different simulation options are required to run the tests.