Reveal Design Automation, Inc.

330 E. Liberty St., Lower Levelm
Ann Arbor, MI 48104

SBIR Award Summary

Total Number of Awards 2
Total Value of Awards $871K
First Award Date 01/01/12
Most Recent Award Date 01/01/13

Key Personnel

Last Name Name Awards Contact
Andraus Zaher S. Andraus 4 Message

2 Awards Won

Phase 2 SBIR

Agency: National Science Foundation
Topic: EI-2013
Budget: 01/01/13 - 12/31/13

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, together with the differences in semantics of SystemC...

Phase 1 SBIR

Agency: National Science Foundation
Topic: EI-2012
Budget: 01/01/12 - 12/31/12

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, together with the differences in semantics of SystemC...