OpenVera

OpenVera

OpenVera is a dead Hardware Verification Language developed, and managed by Synopsys. OpenVera(TM) is an interoperable, open hardware verification language for testbench creation. The OpenVera language was used as the basis for the advanced verification features in the IEEE Std. 1800 Systemverilog Standard, for the benefit of the entire verification community including companies in the semiconductor, systems, IP and EDA industries along with verification services. OpenVera remains a widely adopted, evolving and well-supported hardware verification language.

OpenVera is an intuitive easy to learn language that combines the familiarity and strengths of HDLs, C++ and Java, with additional constructs targeted at functional verification making it ideal for developing testbenches, assertions and properties. OpenVera accelerates the creation of a verification environment by providing high-level constructs specifically designed for verification of complex SoCs. Designers create testbenches and assertions using OpenVera and EDA vendors create tools that are automatically interoperable.

OpenVera language reference manual (LRM) can be obtained at no cost, but modifications to the language must go through Synopsys.

Vendors supporting OpenVera

See also


External links



Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Verilog — In the semiconductor and electronic design industry, Verilog is a hardware description language (HDL) used to model electronic systems. Verilog HDL , not to be confused with VHDL, is most commonly used in the design, verification, and… …   Wikipedia

  • Hardware verification language — A Hardware Verification Language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high level programming language like C++ or… …   Wikipedia

  • Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… …   Wikipedia

  • System-on-a-chip — or system on chip (SoC or SOC) refers to integrating all components of a computer or other electronic system into a single integrated circuit (chip). It may contain digital, analog, mixed signal, and often radio frequency functions ndash; all on… …   Wikipedia

  • Ova — may refer to: Short name for a pair of Ovaries Abbreviation of ovalbumin, a protein found in egg whites Feminin surname suffix in Slavic language countries; see Eastern Slavic naming customs OpenVera Assertion Language, a Hardware Verification… …   Wikipedia

  • Vera — may mean:A place: *Vera, Oklahoma, United States of America *Vera, Santa Fe, Argentina *Vera Department, Argentina *Vera, Almería, SpainA work of art: * Vera , a film based on an autobiographical book by Brazilian Sandra Mara Herzer * Vera , a… …   Wikipedia

  • SystemVerilog — In the semiconductor and electronic design industry, SystemVerilog is a combined Hardware Description Language and Hardware Verification Language based on extensions to Verilog. SystemVerilog was created by the donation of the Superlog language… …   Wikipedia

  • Aldec — Infobox Company company name = ALDEC, Inc. company company type = Private foundation = 1984 location = Henderson, Nevada, United States flagicon|USA industry = EDA products = Active HDL, Riviera, SFM, HES homepage = [http://www.aldec.com… …   Wikipedia

  • Asic verification — is today’s most challenging problem for ASIC designers. As chip sizes have skyrocketed and use of IP has increased, the need to fully verify the design functionality has become critical. However, verification is a function of both design size and …   Wikipedia

  • Verilog — es un lenguaje de descripción de hardware (HDL, del Inglés Hardware Description Language) usado para modelar sistemas electrónicos. El lenguaje, algunas veces llamado Verilog HDL, soporta el diseño, prueba e implementación de circuitos analógicos …   Wikipedia Español

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”