Thank you for participating in the Oski "Decoding Formal" Challenge! Hope you will have fun and win some prizes:
1. All participants will receive Oski Technical Paper Kit
2. First 50 participants will receive Oski Limited Edition "Decoding Formal" Goody-bag
3. Top 3 winners along with 2 random draw winners will receive Oski Limited Edition t-shirt and gift card

Good luck!

* 1. Which of the following are formal verification techniques?

* 2. Can formal verification be used to verify data path blocks?

* 3. Can formal verification be applied to blocks larger than 50K gates?

* 4. Can formal verification replace simulation in a verification methodology?

* 5. What are the necessary components in a formal testbench?

* 6. How to make sure you are not over-constraining your design?

* 7. What kind of checkers are needed for formal to replace simulation for a block?

* 8. What should I do when formal verification times out?

* 9. Why is it important to run formal coverage?

* 10. Do you think formal verification a must-have technology in the verification flow? Why or why not?

* 11. Please leave your contact information so we can send you the cool prizes :)