[libre-riscv-dev] formal verification

[Jacob Lifshay]

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>
wrote:

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