Logic Locking with Moosic

Securing a hardware design with Moosic

Tabby CAD Suite version 20240116 released!

Community Spotlight - Surfer

Tabby CAD Suite version 20231107 released!

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