Chrysalis Symbolic Design
North Billerica
About Chrysalis Symbolic Design
Chrysalis Symbolic Design is a 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.
Company Facts
- Operating status: Active
- Company type: For Profit
- IPO status: Private
Canonical: https://fsome.com/organization/chrysalis-symbolic-design-1382117 · For the full interactive profile (charts, investors, team, acquisitions, press), please enable JavaScript.