Chrysalis Symbolic Design produces software for the electronic design automation market (EDA). The Company sells its software directly to integrated circuit designers who are on the leading edge of design complexity and seek increased performance in their tools. The Company's tools can reduce design verification times by weeks or even months.