Leland Stanford Junior University

University of Illinois

Keith Campbell

Subhasish Mitra

David Lin

Deming Chen

Disclosed are improved methods and structures for verifying integrated circuits and in particular systems-on-a-chip constructed therefrom. Our methods&#x2014;which we call Quick Error Detection&#x2014;Hardware (QED-H)&#x2014;advantageously quickly detect and fix anomalies (bugs) within SoC hardware components&#x2014;and in particular customized SoC hardware components that are not necessarily software programmable. Of further advantage, methods according to the present disclosure are compatible with existing Quick Error Detection (QED) techniques while being extensible to target software-programmable components as well. In sharp contrast to prior art methods, method(s) according to the present disclosure represent a new system validation methodology that builds validation checks in both software and hardware components seamlessly and systematically, thus enabling extremely quick error detection and localization for all digital components of the entire SoC advantageously producing productivity and time-to-market gains.

Growing community of inventors

Urbana, IL, United States of America

Keith Campbell