Overview

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:

  • Statistical timing tools and methodologies for test and diagnosis
  • Test data learning
  • Layout driven diagnosis and silicon debug
  • Timed and statistical timed ATPG
  • Information flow back from test data to design tools and models
  • Monte Carlo simulation of combined timing effects
  • Modeling and handling of design behavior variations