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.
SBY logic loop improvements, autotune blogpost.