TNI-Valiosys Licenses Verisity's e Verification Language.Business Editors/High-Tech Writers MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Dec. 12, 2001 Verisity Ltd. (Nasdaq:VRST VRST Virtual Reality Software and Technology VRST Virtual Reality System Testing ), 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, and TNI-Valiosys today announced that TNI-Valiosys has licensed Verisity's e verification language through the LicenseE(TM) program. TNI-Valiosys joined the LicenseE program to develop tighter integrations between the imPROVE-HDL model checker and e-based environments. "It's imperative for engineers verifying today's complex designs to have integrated verification solutions, and the demand for solutions based on e, the de facto [Latin, In fact.] In fact, in deed, actually. This phrase is used to characterize an officer, a government, a past action, or a state of affairs that must be accepted for all practical purposes, but is illegal or illegitimate. verification language, is overwhelming," said Dave Tokic, director of strategic marketing for Verisity. "Tighter integration between TNI-Valiosys' imPROVE-HDL and the e language provides joint customers with a single source for verification, incorporating simulation-based and formal approaches." "Interfacing with Verisity's e verification language is important for us, since it helps customers who are already using e improve design quality by reusing e to formally validate their RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; models with TNI-Valiosys' model checker, imPROVE-HDL", said Jean-Luc Lambert, TNI-Valiosys' chief scientist. "The goal is for imPROVE-HDL to seamlessly complement Specman Elite(TM), bridging simulation and formal verification
In the context of hardware and software systems, formal verification in a transparent way for users." imPROVE-HDL is a model-checking tool that uses formal methods to quickly and formally validate properties on VHDL/Verilog RTL and structural models. As a LicenseE member, TNI-Valiosys will integrate the temporal logic portion of the e verification language in order to provide joint customers with a single way to describe assertions and then use them for both simulation and model checking purposes. TNI-Valiosys will then extend support for other e constructs and enable the use of eVCs (e Verification Components) for modeling the environment constraints of the design. Program Membership As a member in the LicenseE program, TNI-Valiosys will receive open access to the e language, including a stand-alone e parser A routine that analyzes a continuous flow of text-based input and breaks it into its constituent parts. See parse. (language) parser - An algorithm or program to determine the syntactic structure of a sentence or string of symbols in some language. , and will participate in the e Steering Committee. The Steering Committee's purpose is to drive the future direction of the language to better serve the verification market. All companies on the Steering Committee have equal say, including Verisity. About Verisity Verisity is the leading provider of proprietary technologies and software products used to efficiently verify designs of electronic systems and complex integrated circuits that are essential to the communications and other high growth segments of the electronics industry. Verisity's products automate the process of detecting flaws in these designs, enabling customers to deliver higher quality products, accelerate time-to-market and reduce overall product development costs. Verisity Design, Inc.'s principal executive offices are located in Mountain View, CA. Verisity's principal research and development offices and the corporate headquarters of Verisity Ltd. are located in Rosh Ha'ain, Israel. For more information, see Verisity's web site at www.verisity.com. About TNI-Valiosys TNI-Valiosys provides system design automation solutions for real-time applications in aerospace, automotive, semi-conductor, telecom and industrial automation. The company's goal is to deliver a comprehensive set of software and hardware design solutions to enable designers to build better system-level models and implementations of their electronic products in less time. TNI-Valiosys customers include: Texas Instruments, Philips, STMicroelectronics, Infineon, PSA (Professional Services Automation) An information system designed to organize, track and manage all opportunities, work, resources, costs, revenues and invoices to improve the productivity and efficiency of the workforce. , ALSTOM Transport, RATP RATP Régie Autonome des Transports Parisiens RATP Reliable Asynchronous Transfer Protocol RATP Reste Assis T'es Payé RATP Rentre Avec Tes Pieds RATP Random Anti Terrorist Program , Matra Transport, France Telecom, Alcatel Telecom, NORTEL, CNES CNES Centre National d'Etudes Spatiales (French Space Agency) , Airbus-France, SNECMA SNECMA Société Nationale d'Etude et de Construction de Moteurs d'Aviation (France) Motors, Eurocopter, Thales Airborne Systems, Alcatel Space Industries, ESA 1. (architecture) ESA - Enterprise Systems Architecture. 2. (body) ESA - European Space Agency. , Allied Signal, and others. TNI-Valiosys employs 80 people at its headquarters and R&D facilities in France and has a network of direct sales in Europe and local representatives in North America and Taiwan. Note to Editors: Verisity is a registered trademark of Verisity Design, Inc. LicenseE and Specman Elite are trademarks of Verisity Design. All other trademarks are the property of their respective holders. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion