Tag Archives: yosys

Solving a Sudoku with SBY and Formal Verification

This guest post is by Theophile Loubiere. Recently, I began using SBY to formally verify my designs. You can check out my first attempt on my blog learn-fpga-easily. Formal Verification helps ensure that certain properties of your design always remain true, such as:

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.