Oski "Decoding Formal" Challenge 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 Kit2. First 50 participants will receive Oski Limited Edition "Decoding Formal" Goody-bag3. Top 3 winners along with 2 random draw winners will receive Oski Limited Edition t-shirt and gift cardGood luck! Question Title * 1. Which of the following are formal verification techniques? Formal property verification (model checking) Constraint-driven simulation Sequential equivalence checking Linting Combinational equivalence checking High level synthesis Question Title * 2. Can formal verification be used to verify data path blocks? Yes No Question Title * 3. Can formal verification be applied to blocks larger than 50K gates? Yes No Question Title * 4. Can formal verification replace simulation in a verification methodology? Yes, on all blocks Yes, formal offers better verification ROI than simulation on many blocks Yes, but only on a small number of suitable blocks No Question Title * 5. What are the necessary components in a formal testbench? Input stimulus Checkers (assertions) Monitors Input constraints Simulation testbench Abstraction models Question Title * 6. How to make sure you are not over-constraining your design? Instantiating the constraints in simulation Cross-proof with neighboring blocks Using formal coverage Question Title * 7. What kind of checkers are needed for formal to replace simulation for a block? Local assertions embedded in RTL Interface assertions checking input & output behavior End-to-End Checks verifying End-to-End functionality of the block Question Title * 8. What should I do when formal verification times out? Give up Try adjusting the constraints Write abstraction models for the design Check if the proof depth is sufficient using formal coverage Change to a smaller block Rewrite the property so it is more formal friendly Question Title * 9. Why is it important to run formal coverage? To check if my constraints are valid To compare with simulation coverage To check if I have complete checkers To check if my proof depth is sufficient To see if I can sign-off on formal verification Question Title * 10. Do you think formal verification a must-have technology in the verification flow? Why or why not? Question Title * 11. Please leave your contact information so we can send you the cool prizes :) Name: * Company: * Address 1: * Address 2: City/Town: * State/Province: * ZIP/Postal Code: * Country: Email Address: * Phone Number: Done
