• Reveal Scales Formal Verification

    Using a sophisticated abstraction technology, our tools will empower you to take on complex designs and iterate faster while having the full confidence of formal verification.

  • Reveal Scales Formal Verification

Who We Are

Reveal is an early-stage technology spin-out from the University of Michigan based in Ann Arbor, MI.

What We Do

We design and sell automated software solutions for performing scalable and comprehensive verification of digital logic designs to chip design firms.