[libre-riscv-dev] formal verification
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.
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