North Billerica, Mass.--Nov. 17, 1997--In a major expansion of its overseas sales and service capability, Chrysalis Symbolic Design (North Billerica) announced that it has signed agreements with distributors in both Korea and Taiwan. In Korea, Davan Tech Company Ltd. will sell and support Chrysalis products. In Taiwan E-Team Design Systems Inc. will handle the Chrysalis line, which includes the Design Verifyer formal equivalence checking software, the Design Explore interactive formal debugger, and the new Design Insight family of model checking applications.
Combined with its direct operations in North America and Europe, and its long-standing distribution arrangement in Japan, the new distributors give Chrysalis a sales and support channel in all the major IC development centers of the world. As designs grow beyond 250,000 gates, complexity increases to the point where traditional simulation-based functional verification methods stretch design cycles while failing to provide adequate coverage. Korean and Taiwanese designers will now have access to the formal verification solutions already selected to solve this problem by over 50 semiconductor, computer, peripherals, telecommunications, and networking companies.
Chrysalis Symbolic Design
North Billerica, MA
Return to Headlines