[libre-riscv-dev] formal verification
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Wed Apr 17 08:15:15 BST 2019
On Wed, Apr 17, 2019 at 5:42 AM Jacob Lifshay <programmerjake at gmail.com> wrote:
> From what I saw, verific is an optional requirement. According to ,
> only Yosys, SymbiYosys, and Z3 are required.
> : https://github.com/YosysHQ/SymbiYosys/blob/master/docs/source/quickstart.rst#installing
ok good find, i've cross-referenced to the (new as of yesterday)
formal mathematical proof bug (#61), should see some messages come
through... can we keep this discussion going through the bugtracker,
on this one?
More information about the libre-riscv-dev