REVEAL DESIGN AUTOMATION, INC.

Basic Information

1600 HURON PKWY BLDG 520 FLR 2
ANN ARBOR, MI, 48104-5001

Company Profile

n/a

Additional Details

Field Value
DUNS: 832606417
Hubzone Owned: N
Socially and Economically Disadvantaged: N
Woman Owned: N
Number of Employees: 6


  1. SBIR Phase II: Automatic Scalable Architectural Validation for Microprocessors

    Amount: $720,644.00

    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 m ...

    SBIR Phase II 2013 National Science Foundation
  2. SBIR Phase I: Automatic Scalable Architectural Validation for Microprocessors

    Amount: $149,908.00

    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 m ...

    SBIR Phase I 2012 National Science Foundation

Agency Micro-sites

US Flag An Official Website of the United States Government