0-In Design Automation

The industry-leading provider of assertion-based and formal verification solutions.

0-In Design Automation offers its users with assertion-based and formal verification solutions. It operates as an assertion-based verification company. The company develops and supports electronic design automation tools and functional verification products that helps clients verify multi-million gate application-specific integrated circuit and system-on-chip designs. 0-In Design Automation is a U.S.-based company that was founded in 1996 by Paul Estrada. The company was acquired by Mentor Graphics on September 1, 2004.