Transparent Logo

How to solve a Sudoku with SBY ?


Hello FPGAmigos ! I’m excited to share something special with you today. My latest blog post, titled “Solving a Sudoku with SBY”, is now live on YosysHQ!

Collaborating with YosysHQ, an incredible source of open-source FPGA tools, has been an enlightening experience.

In this post, I’ve combined formal verification with the fun challenge of solving a sudoku. It’s not just about the technicalities; it’s about exploring them in an engaging, accessible way.

Curious? Take a peek: Read the post on YosysHQ

I’d love to know your thoughts, so feel free to drop a comment here or on the YosysHQ blog. Your feedback always means a lot!

🎓 Save 50% on the “Basic Digital Design for FPGA” Course 🚀


Try it for free 🤓

Leave a Reply

Your email address will not be published. Required fields are marked *

How to solve a Sudoku with SBY ?

dark blue dot


Share it !

Get my Ebook ?


Jumpstart you FPGA journey by

• Understanding the place of FPGA in industry
• Learn about internal composition of an FPGA
• A simple beginner friendly project
• An overview of the FPGA workflow