Presentation
Taming Formal to define the Verification Quality
DescriptionFormal verification of the designs is very challenging as properties verifying the design functionality do not guarantee consistency, correctness, or completeness. This is because sometimes properties are incorrectly written. Moreover, proof convergence for all the properties is difficult to achieve using available state-of-the-art formal techniques. As the designs get more complex, the convergence of proofs becomes more challenging, questioning verification quality. Our novel technique handles both cases. It converges the properties and qualifies them for the given design. Evidence suggests that the proposed technique is very effective in verifying designs with increased levels of complexity.
Event Type
Engineering Presentation
TimeTuesday, June 241:30pm - 1:45pm PDT
Location2010, Level 2