Capability details
Chrysalis Symbolic Design is a supplier of formal methods to automate the design of advanced digital integrated circuits. Formal methods are a critical part of the design strategy for complex, high-speed deep submicron ASICs and ICs. Chrysalis products provide complete, independent verification of the logic design and implementation process.