Session
Static and Formal Verification: Pillars of Modern Design Assurance
Session Chair
DescriptionStatic and formal based flows/solutions provide bottom-up verification approach, this helps to find certain class of bugs in the shortest time and help manage efficient distribution of load across all verification technologies. In this session, presenters will share their experiences on applications like data path validation, formal verification, and CDC (clock domain crossing) verification.
Event TypeFront-End Design
TimeMonday, June 241:30pm - 3:00pm PDT
Location2010, 2nd Floor
Design
Engineering Tracks
Front-End Design
Presentations