[libre-riscv-dev] formal verification

Jacob Lifshay programmerjake at gmail.com
Wed Mar 20 07:14:42 GMT 2019

All the legalese aside, we're going to try to be compliant with the RISC-V
specs. That would most likely include formal (in the mathematical sense)
verification. Thanks for the list of links.

Jacob Lifshay

On Wed, Mar 20, 2019, 00:07 Luke Kenneth Casson Leighton <lkcl at lkcl.net>

> On Wed, Mar 20, 2019 at 6:44 AM <ogurksjnv at firemail.cc> wrote:
> >
> > I think it's crucial to have compliance with the RISC-V specs.
> > If some day Simple-V get into production level, it is necessary
> > to have it. Some links:

More information about the libre-riscv-dev mailing list