This page gives an overview of our current research projects.

1. High-Level Microprocessor Design Validation
2. Design Error Simulation and Diagnosis
3. On-Line BIST for Operational Faults
4. Design for Validation
5. Functional Verification
6. Low Power Design via Circuit Optimization and Glitch Estimation