ADVISORY/Verisity Announces an Initiative for Verification Language Interoperability with IBM.

Computer Editors, Technology Editors

ADVISORY...for MONDAY Monday: see week. (Sept. 3, 2001)

NOTE TO EDITORS: Multimedia Assets Available With This Story

Include Photos, Text News Releases

--(BUSINESS WIRE)

Verisity, Ltd. (Nasdaq:VRST VRST Virtual Reality Software and Technology
VRST Virtual Reality System Testing ) has announced an initiative for language 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. between Verisity's e verification language and IBM's Formal Specification Language, Sugar. Under the new initiative, a specification compiler compiler

Computer software that translates (compiles) source code written in a high-level language (e.g., C++) into a set of machine-language instructions that can be understood by a digital computer's CPU. will be developed which will translate functional specifications written in Sugar to Verisity's e language, giving engineers unified access to IBM's RuleBase and FoCs, and Verisity's Specman Elite(TM).

You can reach the story directly by going to http://www.newstream.com/cgi-bin/display_story.cgi?3828

This multimedia news story is for free and unrestricted use on your news information site (and for print or broadcast too). Visit http://www.newstream.com to download To receive a file transmitted over a network. In any communications session, "download" means receive, and "upload" means send. The download/upload often implies a big/little scenario, in which data is being downloaded from the "big" server into the "little" user's computer. video, audio, text, graphics, and photos.

If you have any questions about the story, or about Newstream.com, please write to us at info@newstream.com.

COPYRIGHT 2001 Business Wire
No portion of this article can be reproduced without the express written permission from the copyright holder.

Reader Opinion

Article Details
Printer friendly Cite/link Email Feedback
Publication:	Business Wire
Geographic Code:	1USA
Date:	Sep 3, 2001
Words:	156
Previous Article:	BlueFactory Joins Hands with Hutchison Telecom to Offer Hong Kong's First WAP-based Football Entertainment Quiz Via Orangeworld.
Next Article:	Karo Bio in Partnership to Develop New Drug for Atherosclerosis.
Topics:	Office equipment Office equipment and supplies industry Office equipment industry

Related Articles
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.
SynaptiCAD, Prover Technology and @HDL License Verisity's e Verification Language; Verisity Adds Three New Members to the LicenseE Program.
Verisity Announces an Initiative for Verification Language Interoperability With IBM; A Bridge From Sugar to e Provides Highly Interoperable...
NoBug Consulting Licenses Verisity's e Verification Language; New LicenseE Partner to Integrate IBM's Sugar and Verisity's e Languages.
Newstream.com Digest: U.S. Hotel Chains Ranked on Guest Satisfaction, FedEx.com Offers Shipping Discount and Other Free Multimedia Content for...
CMOSCHIPS JOINS VERISITY'S VERIFICATION ALLIANCE CONSULTING PROGRAM.
Averant, Inc. Licenses Verisity's e Verification Language.
Verisity, Novas Facilitate Standardization and Extend Debug Interoperability For Advanced Chip and System Verification.
Arm signs 3-year purchase agreement with Verisity for verification solutions.