Product category: Design and Development Software
News Release from: Synopsys | Subject: OpenVera 2.0
Edited by the Electronicstalk Editorial Team on 17 April 2002
Hardware verification takes on new Intel
spec
Synopsys has released OpenVera 2.0, with new additions to OpenVera assertions based on Intel's ForSpec language.
Synopsys has released OpenVera 2.0, with new additions to OpenVera assertions based on Intel's ForSpec language OpenVera 2.0 combines the strengths of the OpenVera hardware verification language with Intel's newest formal verification language (ForSpec) to deliver a more comprehensive, open source hardware verification language to the verification community
This article was originally published on Electronicstalk on 19 Apr 2001 at 8.00am (UK)
Related stories
Synopsis adds crosstalk analysis to timing tool
Synopsys has extended its PrimeTime static timing analysis product to address the challenge of detecting and resolving crosstalk on SoC designs at 0.18 micron and below.
Tensilica standardises on Physical Compiler
Tensilica has standardised on Synopsys Physical Compiler and developed a high-performance reference flow around Physical Compiler for its Xtensa V processor cores.
The combined technology enables OpenVera users to leverage next-generation functional verifica