I copied Clifford's technique of using Csmith for randomized testing
and can attest that it is easy to set up and quickly finds bugs that
are missed by riscv-tests and "run Linux and hope everything
works"-based testing ...
scripts: https://github.com/SebastianBoe/turborav/tree/v0.3.0/hw/src/test/csmith
--
You received this message because you are subscribed to the Google Groups "RISC-V HW Dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to hw-dev+un...@groups.riscv.org.
To post to this group, send email to hw-...@groups.riscv.org.
Visit this group at https://groups.google.com/a/groups.riscv.org/group/hw-dev/.
To view this discussion on the web visit https://groups.google.com/a/groups.riscv.org/d/msgid/hw-dev/20160902132531.GC32249%40clifford.at.
To unsubscribe from this group and stop receiving emails from it, send an email to hw-dev+unsubscribe@groups.riscv.org.
To post to this group, send email to hw-...@groups.riscv.org.
Visit this group at https://groups.google.com/a/groups.riscv.org/group/hw-dev/.
To view this discussion on the web visit https://groups.google.com/a/groups.riscv.org/d/msgid/hw-dev/CAKFGWt_DxeVLKsSG1NmEYRFBe9qBA8m%2BOfhBRSakJogOh1%2BOng%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/a/groups.riscv.org/d/msgid/hw-dev/CAKFGWt_DxeVLKsSG1NmEYRFBe9qBA8m%2BOfhBRSakJogOh1%2BOng%40mail.gmail.com.