Overview
Aside from our IEA Project, our research primarily focuses on two areas of design challenges:
1. To overcome the challenges in functional verification
2. To overcome the challenges in achieving design-manufacturing convergence
Functional verification research includes:
-
Automatic test bench improvement
-
Mining and learning functional simulation data
-
Coverage evaluation and coverage metric development
-
Combined SAT, symbolic simulation, and data learning in verification
-
Development of design drivers for the research
-
Interface to existing constrained verification environment
Design-manufacturing convergence research includes:
-
-
Test data learning
-
Layout driven diagnosis and silicon debug
-
Timed and statistical timed ATPG
-
-
Monte Carlo simulation of combined timing effects
-
Modeling and handling of design behavior variations