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!