Quiz #2: Will this counter pass formal verification?
Click here for the answer.
Formal verification is known for catching the subtle bugs. This very simple counter design has a subtle bug within it. See if you can find it.
Click here for the answer.
Formal verification is known for catching the subtle bugs. This very simple counter design has a subtle bug within it. See if you can find it.