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.|
Hayes, John P.
Sakallah, Karem A.
Related Labs, Centers, and Groups
Advanced Computer Architecture Laboratory