Cadence Licenses Verisity's e Verification Language; Cadence to Use e as an Input to the Advanced Verification Cockpit.Business Editors & High Tech Writers MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--May 1, 2000 Verisity Ltd., the leading provider of functional verification Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, automation, announced that Cadence Design Systems (company) Cadence Design Systems - A company that sells electronic design automation software and services. http://cadence.com/. See also Verilog. , Inc. (NYSE NYSE See: New York Stock Exchange : CDN (Content Delivery Network) A system of distributed content on a large intranet or the public Internet in which copies of content are replicated and cached throughout the network. ) has licensed Verisity's e verification language through the LicenseE(TM) program. Verisity's LicenseE program was created to open the e verification language and to promote enhanced tool interoperability The capability of two or more hardware devices or two or more software routines to work harmoniously together. For example, in an Ethernet network, display adapters, hubs, switches and routers from different vendors must conform to the Ethernet standard and interoperate with each other. (see related press release dated 5/1/00). Cadence cadence, in music, the ending of a phrase or composition. In singing the voice may be raised or lowered, or the singer may execute elaborate variations within the key. is licensing the e language as one the methods to drive their FormalCheck model checker check·er n. 1. a. One, such as an inspector or examiner, that checks. b. One that receives items for temporary safekeeping or for shipment: a baggage checker. 2. , one of the engines in the Cadence Advanced Verification Cockpit. "As we integrate additional technologies, such as FormalCheck, into our environment, we want to leverage the existing solutions as much as possible," said Robert Quist, productivity engineer for Hewlett-Packard. "We've used Specman Elite and the e language for quite some time and are glad to see the vendors working together to streamline the verification process. Having e drive formal model checking and simulation will be a great benefit." Cadence Design Systems has licensed e initially for use as a property input language to FormalCheck, the leading commercially available model checker. To ensure smooth interoperability, Verisity will work with Cadence to include FormalCheck query constructs for use within e. "The verification problem is the most critical issue in the design flow and requires multiple technologies for a complete solution. Enhancing interoperability between formal model checking and simulation is a must," said Rahul Razdan, vice president for Design Verification R&D and Marketing, Cadence Design Systems. "By using e as an input to the Advanced Verification Cockpit, along with Verilog, VHDL (VHSIC Hardware Description Language) A hardware description language (HDL) used to design electronic systems at the component, board and system level. VHDL allows models to be developed at a very high level of abstraction. , and C/C C/C Center to Center C/C Combustion Chamber C/C Command/Control C/C Crew Chief C/C cabin cruiser (US DoD) C/C chief complaint (medical) C/C Channel-to-Channel C/C Communication and Collaboration ++ for testbench development, we're able to provide customers with another source to drive simulation and model checking, thereby giving them an integrated verification environment that's more flexible and open." As a member of LicenseE, Cadence will receive open access to the complete e language and automatically become part of the e Steering Committee steer·ing committee n. A committee that sets agendas and schedules of business, as for a legislative body or other assemblage. steering committee Noun . The Steering Committee's purpose is to drive the future direction of the language to better serve the market. All companies on the Steering Committee have equal say, including Verisity. "Our goal is to ensure customers have easy access to advanced verification solutions," said Francine Ferguson, vice president of marketing for Verisity. "By licensing the e language, we're enabling increased interoperability between verification solutions thereby making it easier for customers to adopt other verification technologies, such as model checking." About Verisity Verisity Ltd. develops, markets, and supports functional verification automation solutions for engineers to validate complex communications designs and other advanced electronic systems. The company's products automate traditionally manual processes and have enabled customers to cut verification schedules by up to two thirds, shaving months off total project schedules. Verisity is the market leader with over 77 percent market share. The company is headquartered in Rosh-Ha'ain, Israel and has its main sales and marketing office in Mountain View, CA. Verisity's research facilities are also located Israel and California. The company currently employs over 120 people. For more information, see Verisity's web site at www.verisity.com. Verisity is a registered trademark and LicenseE is a trademark of Verisity. All other trademarks are the property of their respective holders. |
|
||||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion