close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

IMEC Workshop

2012-11-15

OneSpin Solutions and IMEC are pleased to invite you to a Workshop on November 15 for a free hands-on Tutorial

Metric Driven Formal Verification with 360 MV

Traditional formal verification flows leave the user in the dark about the verification progress and quality. Novice users often struggle with questions like: How good are my assertions?, or How much have I verified? Metric driven formal verification with 360 MV removes this uncertainty by comprehensively analyzing and tracking RTL code and assertions throughout the design space. It identifies both verified and unverified RTL code, showing engineers at a glance exactly where to put assertions to fill the verification holes. Complemented by a number of useful push-button solutions, this methodology makes formal verification a productive tool for everyone.

Register by sending an email to IMEC, and check out the IMEC Academy. (You can also find the description under: Browse for training -> Asic-SOC design skills. You can also find it in the events calendar.)

IMEC, Kapeldreef 75, B-3001, Leuven, Belgium

Back