[libre-riscv-dev] formal verification
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Mon Apr 1 04:16:45 BST 2019
found a tutorial which makes mention of the different options, such as
bounded model check and prove mode, which does k-induction checks.
*click*.... ah. for full features, it's necessary to link to
something called "verific".
More information about the libre-riscv-dev