Logic Primitive Transformations with Yosys Techmap
Yosys Techmap
Tabby CAD Suite version 20221108 released!
Experimental support for EDIF and Liberty verific parsers
Tabby CAD Suite version 20221011 released!
Here-documents now supported with Verific
Introducing the Colorlight 5A-75B board
A dive into a popular low-cost ECP5 development board by Chris Lasocki
Tabby CAD Suite version 20220906 released!
Parallel formal proofs, ability to disable VCD dumps, new getting started guide.