Printer Friendly

Verisity Donates Temporal Language to Open Verilog International; Temporal e Streamlines Interoperability.

Business Editors/High-Tech Writers


Verisity Ltd., the leading provider of functional verification automation, today announced that it has donated the temporal subset of its e verification language to Open Verilog International (OVI). As e is the defacto standard for functional verification automation, the donation is significant because it will provide the industry with a proven, mature format for standardization. The subset will be given to the Formal Verification Technical Subcommittee for consideration as the standard property language for formal model checking.

In a simulation environment, the temporal subset of the e language is used primarily to implement checkers. In a model checking environment, temporal e is ideal for representing properties to be verified. As the model checking market growsmore users adopt the technology and more vendors offer their own solutionsthe need for a standardized language increases. The Formal Verification Technical Subcommittee's goal is to create a property language standard to make it easier for engineers to incorporate model checking into their existing environments.

"Since model checking and simulation must co-exist in a single verification methodology, having a single source to drive both engines streamlines interoperability," said Dr. Vassilios Gerousis, chairman of OVI's Technical Coordinating Committee. "The potential of model checking technology for verifying complex IC and system-on-chip designs is very exciting, but the tools available today are perceived to be too hard to use and the languages are proprietary and very complex. Verisity's e language has all the right technical capabilities, and can be used to drive both simulation and model checking."

"OVI has a long and successful track record for driving standards that are beneficial to users," said Moshe Gavrielov, chief executive officer for Verisity. "We are committed to establishing e as a standard and this donation is a significant step in our standardization roadmap."

The Road to Standardization

Traditional design languages--such as Verilog and VHDL--were created for hardware design and are not well suited for verification of today's complex integrated circuit, system-on-chip and system designs. C and C++ have emerged as alternatives, but are also not ideal since they were created for software design and lack sufficient hardware constructs as well as verification constructs. Verisity created the e language specifically for verification automation. The market has made it the de facto standard, thereby making it the obvious choice for standardization.

Verisity's efforts towards standardizing e has thus far been focused on meeting the criteria to become a successful industry standard. Verisity believes that making e a successful standard includes all of the following criteria:

- De facto usage--the format must be in use by a significant

part of the market, including strategic customers that

influence the marketplace. Verisity's customer list includes

all major players in the communications, semiconductor and

intellectual property arenas. Verisity's e language is

currently the de facto standard, holding over 77 percent

market share.

- Third-party pull--there must be a large pull from customers

and third parties to interoperate with the format. In other

Verisity news today, the company announced that it is

licensing the complete e language, and Cadence Design Systems,

Inc. and Mentor Graphics Corp. are the first companies to

license the language (see related press releases dated


- Interested standards bodies--there must be interest in

developing the format into a formal standard from standards

organizations. Today's news indicating OVI's acceptance of the

temporal e donation marks a significant step in Verisity's

roadmap to standardization. The donation is subject to the

approval of the Office of the Chief Scientist in Israel.

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

Verisity is a registered trademark of Verisity. All other trademarks are the property of their respective holders.
COPYRIGHT 2000 Business Wire
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2000, Gale Group. All rights reserved. Gale Group is a Thomson Corporation Company.

Article Details
Printer friendly Cite/link Email Feedback
Publication:Business Wire
Geographic Code:1USA
Date:May 1, 2000
Previous Article:TransZap Recruits Leading Business/Technology Team.
Next Article:Cadence Licenses Verisity's e Verification Language; Cadence to Use e as an Input to the Advanced Verification Cockpit.

Related Articles
Verisity and Denali Enter Joint Marketing Agreement to Address SOC Designs.
Verisity and Denali Enter Joint Marketing Agreement to Address SOC Designs.
Verisity Introduces Specman Elite, Advances Functional Verification Automation to Open New Markets.
LavaLogic Speaker Featured at DAC Conference Standards Meeting.
Verisity Openly Licenses Its No. 1 Verification Language; Cadence and Mentor Graphics First To License the Language.
Cadence Licenses Verisity's e Verification Language; Cadence to Use e as an Input to the Advanced Verification Cockpit.
Industry Support Builds for Intel's Formal Property Verification Language Initiative; Synopsys, Verisity Design and Co-Design Automation to Adopt...
TNI-Valiosys Licenses Verisity's e Verification Language.

Terms of use | Copyright © 2017 Farlex, Inc. | Feedback | For webmasters