Daewoo Selects Chrysalis Design VERIFYer; Becomes First Korean Formal Verification Customer.BILLERICA, Mass.--(BUSINESS WIRE)--Oct. 12, 1998--Chrysalis Symbolic Design, Inc. announced today that Daewoo Electronics Co., Ltd, Seoul, Korea, has selected Chrysalis' Design VERIFYer formal equivalence checking Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. software. Daewoo is the first Korean company to purchase commercial formal verification
In the context of hardware and software systems, formal verification tools. Daewoo has already used Design VERIFYer's gate-to-gate comparison capabilities to verify netlist changes for a single-chip video decoder A hardware device or software that converts coded data back into its original form. See decode and MPEG decoder. design. This chip is part of the Korean government-supported HDTV (High Definition TV) A set of digital television (DTV) standards that offer the highest resolution and sharpest picture. Although some HDTV sets are available in standard (rather square) screen sizes, the overwhelming majority of sets are wide screen, which eliminates project, and is coordinated through the Korea Electronics Technology Institute (KETI). Daewoo is currently working on extending its application of formal verification to use Design VERIFYer's RTL-to-gate comparison capabilities also. According to according to prep. 1. As stated or indicated by; on the authority of: according to historians. 2. In keeping with: according to instructions. 3. Daewoo's Dr. Sung Jun Park Ph. D., Senior Research Engineer, "Daewoo is the first company to produce a working video decoder chip for the Korean HDTV project. Without Design VERIFYer, it would have taken us much longer to get this design into manufacturing. Formal verification has become a critical tool for completing complex chip designs on schedule. We chose Chrysalis chrysalis (krĭs`əlĭs): see pupa. because they have the best understanding of how these tools fit into our evolving design flow." Daewoo Electronics Daewoo Electronics is a global electronics manufacturer recently recognized by Forbes Magazine as one of "The World's Most Admired Companies." The company is currently making intensive investments in advanced technology and new generation multimedia products. Daewoo Electronics English-language web site is at http://www.dwe.daewoo.co.kr Chrysalis Symbolic Design Chrysalis Symbolic Design, Inc., headquartered in Massachusetts, is the premier supplier of software products that use formal methods to automate the design of advanced digital integrated circuits Integrated circuits Miniature electronic circuits produced within and upon a single semiconductor crystal, usually silicon. Integrated circuits range in complexity from simple logic circuits and amplifiers, about 1/20 in. (1. . 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 (programming) debugging - The process of attempting to determine the cause of the symptoms of malfunctions in a program or other system. These symptoms may be detected during testing or use by real users. software, and the new Design INSIGHT(R) formal model checking products. The company has sales and support personnel in all three major world markets -- the US, Europe and Asia. WEB site access is through http://www.chrysalis.com . |
|
||||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion