Averant is a start-up electronic design automation (EDA) company focusing on verification of complex ICs and digital intellectual property (IP). The continuing growth in design complexity has caused a functional gap between what can be built and what can be verified before production. Finding mistakes after production can cost hundreds of millions of dollars, as seen with the Intel Pentium and the Toshiba floppy disk controller bugs. Averant closes the functional verification gap by delivering a new static verification technology that guarantees blocks used in design are functionally correct before production.