4 ms·
I'd wish they'd write a test suite or certification program instead.. Those ISO standard documents are nowadays better parseable with a chatbot, but they are st
by childintime 1y ago
I'd wish they'd write a test suite or certification program instead.. Those ISO standard documents are nowadays better parseable with a chatbot, but they are still the wrong language for the job.
- remexre 1y agoTest suites: https://github.com/riscv-software-src/riscv-tests https://github.com/riscv-software-src/riscv-tests Formal model: https://github.com/riscv/sail-riscv https://github.com/riscv/sail-riscv