Chrysalis Symbolic Design

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.

This is my company
Link me with this company to list Innovations and Challenges