[libre-riscv-dev] New formal verification checking tool

[Samuel Falvo II]

I saw a tweet on my timeline which announced a new test coverage analysis
tool which uses Yosys' support for formal methods to calculate your test
coverage.

I don't know how applicable this would be to this project, but thought I'd
pass it along in the hopes that it'd be useful.

https://www.youtube.com/watch?v=NKzqRum1ksg&feature=emb_title


-- 
Samuel A. Falvo II