An Official Website of the United States Government
Company Information:
Name:
Reveal, LLC
Address:
330 E. Liberty Street, Lower
Ann Arbor, MI 48105-2201
Ann Arbor, MI 48105-2201
Located in HUBZone:
No
Woman-Owned:
No
Minority-Owned:
No
URL:
N/A
Phone:
N/A
Award Totals:
Award List:
Scalable Formal Verification of Digital Integrated Circuits
Award Year / Program / Phase:
2010 / SBIR / Phase I
Agency:
NSF
Principal Investigator:
Zaher S. Andraus, MEng
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… More