Reveal Design Automation is an Electronic Design Automation (EDA) start-up developing software tools to address a critical challenge in the semiconductor chip design process: formal verification of complex chip designs. With fully automated solutions enabling highly scalable Architecture Validation, formal verification runs that take days with competing solutions can now be completed in hours with Reveal.

Where a typical verification cycle for a new chip design requires dozens to hundreds of such verification runs, Reveal can save chip designers millions of dollars in verification expense, reduce time-to-market by months, and significantly improve confidence in chip design correctness.