Knowledge Center ➜ Entities

Chrysalis Symbolic Design, Inc.

Formal equivalence checking software


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.

  • HQ: North Billerica, MA, USA
  • Known for: equivalence checking,
  • Type: Company