Novas systems to support Verisity verification language

Novas systems to support Verisity verification language
SAN JOSE, Calif. — Novas Software Inc. said Monday (Dec. 2) that it will increase its support for Verisity Ltd.'s "e" verification language in Novas' debugging systems, and will participate in "e" language standardization efforts. The moves come as Novas joins Verisity's LicenseE program, which facilitates third-party support of the language.

Novas is already a member of the Verisity Interoperability Partner (VIP) program. By joining LicenseE, Novas will improve the existing data-transfer integration between Verisity's Specman Elite and Novas' Debussy debugging system, and work towards more integrated support of "e" so that Debussy users can analyze testbenches written in that language.

Novas and Verisity will also work on ways of using the Novas Knowledge Database and the "e" language for interoperability across block, chip and system hierarchies. As a member of LicenseE, Novas will participate in the "e" Steering Committee and help drive the future of the language.