Experimental support for EDIF and Liberty verific parsers
Here-documents now supported with Verific
A dive into a popular low-cost ECP5 development board by Chris Lasocki
Parallel formal proofs, ability to disable VCD dumps, new getting started guide.