Office of Technology Transfer – University of Michigan

Automatic Error Diagnosis and Correction for RTL Designs

Technology #3697

Questions about this technology? Ask a Technology Manager

Download Printable PDF

Categories
Researchers
Kai-Hui Chang
Managed By
Keith Hughes
Assistant Director, Physical Sciences & Engineering 734-764-9429

Background

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.

Technology

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

Applications

  • Automated error detection and correction for IC designer debugging process

Advantages

  • Works directly at RTL level
  • Bugs identified by the system are easier to understand
  • Bug correction, versus simply identification
  • Superior scalability and efficiency