Formal Verification Questions

Formal Verification 0 Comments
1. if we blackbox the design , will other part of design will get verified correctly ?
2. What are the engines used in formal ?
3. What are different technique used if design is not giving proof ?
4 . what are the component which can be re used in  functional verification which was used in formal ?
5. what is semi formal concept ?
6. what is composite state space in formal verification ?
7. what is BDD can you explain with example ?
8. if any designer has added a new feature in the design , and we wanted to test all functionalities are working fine how can do it very quickly ?
9. if there is 128 bit fixed point adder hw design , how much time will it take in formal to verify ?
10. how  can we test deadlock in the design through formal , what kind of engine is useful in  testing such stuff ?

Leave a Reply