Events

EDAC Mixer

EDAC Mixer

April 24, 2014
Sonoma Chicken Coop
90 Skyport Dr., San Jose, CA 

 

DVClub Europe
April 28, Bristol, UK
ChipEx 2014

ChipEx 2014
April 29-30, 2014
Trade Fairs & Convention Center
Tel Aviv, Israel

Author/s:Ziyad Hanna  
Paper Title: Trusted Power Aware Design Transformations Using Formal Verification
Track G: Verification, Simulation and Validation
Track Time:2:30pm-4:00pm
Presentation duration: 30 Min.

Formal Verification Day
 May 15, Reading, UK
 
Jasper presenting
Formal-Based Coverage-Driven Verification