USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name: Reveal Design Automation, Inc.
City: Ann Arbor
State: MI
Zip+4: 48104-2274
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Website 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