Electrical Engineering and Computer Science

Design Verification and Validation

Research Areas -> Computer-Aided Design and VLSI -> Design Verification and Validation
 
Overview
Digital designs are becoming so complex that most of them are released with subtle bugs. Therefore, the verification of designs and the validation of chips are increasingly important to all companies in the IC business. ACAL hosts a number of projects that target microprocessor verification, as well as more general design verification techniques that can be used for ASICs and SoCs. We are interested in algorithms, methodologies and design for verification, using formal as well as semi-formal techniques. Several ACAL researchers are interested in post-silicon validation and debugging of ICs --- an area of significant growth at companies like Intel and AMD.
 
Faculty
Austin, Todd
Bertacco, Valeria
Hayes, John P.
Markov, Igor
Sakallah, Karem A.


Related Labs, Centers, and Groups
Advanced Computer Architecture Laboratory


form photo