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.