The dramatic increase in design complexity of modern electronics challenges the ability of developers to ensure design functional correctness. While existing approaches often allow engineers to find the errors, little effort has been devoted to fixing such errors. As a result debugging remains an expensive and challenging task. Automation of design verification process including error detection and correction would greatly enhance engineers’ ability to deal with functional errors in their designs.
Researchers at the University of Michigan have developed new approaches to design verification and correction that greatly reduce ad-hoc manual efforts. These novel constructs and algorithms automate the error-repair process. Since most design development occurs at the Register-Transfer Level (RTL), their solutions work directly for RTL. Empirical results show that this solution can diagnose and correct errors in design up to several thousand lines of RTL code in minutes, while providing more accurate results than previous gate-level solutions.
Applications and Advantages
- Automated error detection and correction for IC designer debugging process
- Works directly at RTL level
- Bugs identified by the system are easier to understand
- Bug correction, versus simply identification
- Superior scalability and efficiency