Solving a Sudoku with SBY and Formal Verification

Repurposing SBY to solve a Sudoku"

Tabby CAD Suite version 20231011 released!

Community Spotlight - WAL

Tabby CAD Suite version 20230905 released!

Tabby CAD Suite version 20230807 released!

Yosys One Liners - Rename

Tabby CAD Suite version 20230606 released!

How I went from blinker to RISC-V in 3 months

Bruno Levy's FPGA tutorial through Amaranth glasses

Community Spotlight - AutoSVA

Tabby CAD Suite version 20230509 released!