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.