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

[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
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

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

[Luke Kenneth Casson Leighton]

On Saturday, March 21, 2020, Samuel Falvo II <sam.falvo@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
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev