[libre-riscv-dev] formal verification

[Luke Kenneth Casson Leighton]

found a tutorial which makes mention of the different options, such as
bounded model check and prove mode, which does k-induction checks.

https://symbiyosys.readthedocs.io/en/latest/quickstart.html

https://tomverbeure.github.io/rtl/2019/01/04/Under-the-Hood-of-Formal-Verification.html

*click*.... ah.  for full features, it's necessary to link to
something called "verific".

ah.  okay.