Transparent Logo

Formal

How to solve a Sudoku with SBY ?

Using formal verification to solve a Sudoku ? go check the article I wrote on YosysHQ blog
arrow pixel art

Trying Formal Verification with SymbiYosys and Chisel

Discover the practical applications of formal verification in hardware design. In this post, we’ll explore how tools like SymbiYosys can make the verification process accessible and effective. Learn from real-world examples, and understand the value of integrating formal verification into your design workflow.
arrow pixel art

Get my Ebook ?

ebook_hero-home