[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".

ah.  okay.

More information about the libre-riscv-dev mailing list