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

[Luke Kenneth Casson Leighton]

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