I'd wish they'd write a test suite or certification program instead.. Those ISO ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		childintime 42 days ago \| parent \| context \| favorite \| on: RISC-V takes first step toward international ISO/I... 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 42 days ago [–]

Test suites: https://github.com/riscv-software-src/riscv-tests

Formal model: https://github.com/riscv/sail-riscv

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact