Close

Organization

Real Intent
Contributors
Kanad Chakraborty
Saurav Choudhary
Prakash Narain
Lisa Piper
Vikas Sachdeva
Vikas Sachdeva
Sanjay Thatte
Session Chairs
Vikas Sachdeva
Presentations
Engineering Presentation
Efficient Reset Metastability SignOff Methodology
2:30pm - 2:45pm PDT Tuesday, June 24 2010, Level 2
Front-End Design
Exhibitor Forum
Static Sign-Off Methodologies: Liberating Functional Verification from Boolean Shackles
1:45pm - 2:15pm PDT Monday, June 23 Exhibitor Forum, Level 1 Exhibit Hall
Sessions
Engineering Presentation
Formal and Static Verification: Stop Bugs Before They Think They're Invited
1:30pm - 3:00pm PDT Tuesday, June 24 2010, Level 2
Front-End Design