Verilog and Formal Quizes

Formal Verification quizzes have long been a favorite on my twitter feed, hash tag #FVQuiz, so I thought I might start adding them to the blog itself. You should be able to find all of the information you need to solve each of the quizzes from within either the articles on the blog or the tutorials.

There are no scores. There is no chest beating. These are solely here for you to have some fun, to offer you something to test your skill against, and perhaps even to foster some discussion. As always, if you are unsure of any answer, then I would encourage you to run the tools and discover the answer for yourself before clicking through to read what the answer was.