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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat Mar 21 04:13:45 GMT 2020

On Saturday, March 21, 2020, Samuel Falvo II <sam.falvo at gmail.com> wrote:

> 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.

interesting.  appreciated

crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

More information about the libre-riscv-dev mailing list