Supplier of formal methods to automate the design of advanced digital integrated circuits. These products provide complete, independent verification of the logic design and implementation process to improve engineering productivity and reduce Time-to-market. An enabling technology, formal methods are a critical part of the design strategy for complex, high-speed deep submicron ASICs and ICs. Formal design and verification tools from Chrysalis include Design VERIFYer(R) formal equivalence checking software, Design EXPLORE interactive formal debugging software, and the new Design INSIGHT(R) formal model checking products.
