One-day intensive course on designing, coding, integrating, and running SVA assertions with best-practice methodology.
After attending this course the participant will be able to define, develop, code, integrate, and run SVA assertions. In addition, participants will gain knowledge of the methodology used to best support the use of assertions in their organization.
The course presents a series of design patterns and advanced technologies for architecting and writing advanced assertions. The principles and design patterns learned are exercised in a series of exercises designed to accent the learning process while trying out solutions on real code and real simulations.
Engineers experienced in writing verification or design code who want to advance their knowledge in architecting and designing advanced assertions.