USA flag logo/image

An Official Website of the United States Government

Scalable Formal Verification of Digital Integrated Circuits

Award Information

Agency:
National Science Foundation
Branch:
N/A
Award ID:
98917
Program Year/Program:
2010 / SBIR
Agency Tracking Number:
0945757
Solicitation Year:
N/A
Solicitation Topic Code:
IC2
Solicitation Number:
N/A
Small Business Information
Reveal, LLC
330 E. Liberty Street, Lower Ann Arbor, MI 48105-2201
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2010
Title: Scalable Formal Verification of Digital Integrated Circuits
Agency: NSF
Contract: 0945757
Award Amount: $175,450.00
 

Abstract:

This Small Business Innovation Research Phase I Project addresses the challenge of scaling pre-silicon functional verification of digital integrated circuits such as microprocessors, ASIC microcontrollers, and SOC products. The complexity of industrial designs results in an large state space with vast room for errors, and prevents designers from being able to comprehensively reason about the correctness of systems deployed in numerous devices, whose real-time failure causes serious losses, monetary and otherwise. Earlier research showed that complexity can be significantly reduced using abstraction and reasoning methods that are applied on design descriptions used for production. Expected challenges moving forward include automatic tuning of the abstraction, and effective reduction to reasoning engines that can cope with the exponential blowup in the size of designs. Reveal's effort specifically addresses the needs of designer and verification engineers by automating the formal verification process through an iterative abstraction and refinement process. The target market for Reveal includes both the integrated design manufacturing and fabless ASIC/SOC suppliers. A typical potential customer would be an ASIC semiconductor design company who is looking to lower its verification costs, decrease time-to-market, and reduce the risks of discovering errors during post-silicon verification or post-production. Given that Reveal's primary function is to find errors in semiconductor design, its implications for equipment with high degrees of complexity, but also with little to no tolerance for failure, which otherwise may pose threat to human lives. Examples of these markets are semiconductor design and manufacturing for hospital equipment, high-availability sensors, and automotive semiconductors.

Principal Investigator:

Zaher S. Andraus
MEng
7342728231
zandrawi@umich.edu

Business Contact:

Zaher S. Andraus
MEng
7342728231
zandrawi@umich.edu
Small Business Information at Submission:

Reveal, LLC
330 E. Liberty Street, Lower Ann Arbor, MI 48105

EIN/Tax ID: 270222389
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No