4/15/2002 - Synopsys, Inc. (Nasdaq:SNPS), the technology leader for complex integrated circuit (IC) design, today announced the availability of 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. The combined technology enables OpenVera users to leverage next-generation functional verification methodologies by providing one common language for writing assertions and formal properties. The addition of new assertions in OpenVera 2.0 marks a significant step forward in achieving OpenVera's objective of easing the verification bottleneck by enabling the development of a complete solution around an open, non-proprietary hardware verification language.
Previous Page | News by Category | News Search
If you found this page useful, bookmark and share it on: