USA flag logo/image

An Official Website of the United States Government

Company Information:

Name: Reveal Design Automation, Inc.
Address: 330 E. Liberty St., Lower Levelm
Ann Arbor, MI 48104-2274
Located in HUBZone: No
Woman-Owned: No
Minority-Owned: No
URL: N/A
Phone: N/A

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $149,908.00 1
SBIR Phase II $720,644.00 1

Award List:

SBIR Phase I: Automatic Scalable Architectural Validation for Microprocessors

Award Year / Program / Phase: 2012 / SBIR / Phase I
Agency: NSF
Principal Investigator: Zaher S. Andraus
Award Amount: $149,908.00
Abstract:
This Small Business Innovation Research Phase I Project addresses the challenge of automating and scaling formal equivalence verification between architectural ESL/TLM SystemC models and RTL Verilog models for microprocessors and ASIC microcontrollers. The complexity of industrial processors,… More

SBIR Phase II: Automatic Scalable Architectural Validation for Microprocessors

Award Year / Program / Phase: 2013 / SBIR / Phase II
Agency: NSF
Principal Investigator: Zaher S. Andraus
Award Amount: $720,644.00
Abstract:
This Small Business Innovation Research (SBIR) Phase II project addresses the challenge of automating and scaling formal equivalence verification between architectural SystemC models and RTL Verilog models for microprocessors and ASIC microcontrollers. The complexity of industrial processors,… More