Synopsys Announces Growing Industry Support for OpenVera Assertions.Business Editors/High-Tech Writers MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Dec. 9, 2002 Design Verification and Service Companies Address Growing Demand for Assertion-Based Methodology by Offering Verification Intellectual Property Synopsys, Inc. (Nasdaq:SNPS SNPS Space Nuclear Power System ), the technology leader for complex integrated circuit integrated circuit (IC), electronic circuit built on a semiconductor substrate, usually one of single-crystal silicon. The circuit, often called a chip, is packaged in a hermetically sealed case or a nonhermetic plastic capsule, with leads extending from it for (IC) design, today announced the availability of seven new third party verification intellectual property (IP) offerings based on OpenVera(TM) Assertions (OVA). Designed for checking compliance with widely adopted and emerging protocols, OVA verification IP are reusable modules that accelerate the development of a complete verification environment, improving overall efficiency and productivity for design and verification engineers. With the release of these OVA verification IP offerings, third party IP providers Cold Spring Engineering, nSys and Silicon Interfaces join the growing list of design verification and service providers who support OVA for customers seeking an assertion-based methodology to overcome the verification bottleneck. "Our customers are demanding assertion-based verification IP for up and coming standards such as PCI Express A high-speed peripheral interconnect from Intel introduced in 2002. Note that although sometimes abbreviated "PCX," PCI Express is not the same as "PCI-X" (see PCI-SIG and PCI-X for comparison). As a result of the confusion, "PCI-E" or "PCIe" is the accepted abbreviation. , and we are responding by developing models based on OVA," said Anil Tickoo, director of sales and marketing at nSys. "With its high-level of abstraction, OVA allowed us to quickly create IP that let our customers verify complex functionality using both dynamic and formal verification
In the context of hardware and software systems, formal verification methods. The end result is that engineers who use our OVA-based IP find corner-case and hard-to-find bugs earlier in the design schedule." OpenVera Assertions Verification IP Available OpenVera Assertions is a high-level verification language that enables an assertion-based methodology for improving verification productivity, and is supported by a library of reusable IP. Design and verification engineers use OVA's powerful declarative de·clar·a·tive adj. 1. Serving to declare or state. 2. Of, relating to, or being an element or construction used to make a statement: a declarative sentence. n. constructs to easily create and maintain concise verification code. With a growing list of tool support, OVA IP can easily be utilized across a variety of verification tools - simulation, testbench, debug To correct a problem in hardware or software. Debugging software means locating the errors in the source code (the program logic). Debugging hardware means finding errors in the circuit design (logical circuits) or in the physical interconnections of the circuits. , and formal analysis. Furthermore, OVA IP allow verification engineers to focus on verifying intended behavior of their designs rather than spending an inordinate amount of time setting up verification environments. New OVA verification IP are available from the following companies: Company OpenVera Assertions Verification IP Offerings Cold Spring Engineering Utopia 2.0, SPI 4.2 nSys PCI Express, PCMCIA, UART, Parallel 1284 Silicon Interfaces Bluetooth, USB 2.0 "Increased interest in OVA and its growing appeal to vendors and users is driving this latest round of verification IP from these providers," said James Watts James Watts may refer to:
About OpenVera and OpenVera Assertions OpenVera is an open source 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 Java as well as features for developed to meet the unique requirements of functional verification. OpenVera Assertions (OVA) is a high-level language that contains powerful declarative constructs for accurately capturing design specification and is useful in both dynamic and formal verification environments. With these languages, design and verification engineers describe the target application environment, including complex protocols and data objects, at a high level of abstraction The level of complexity by which a system is viewed. The higher the level, the less detail. The lower the level, the more detail. The highest level of abstraction is the single system itself. , which significantly improves productivity, readability and reusability. For more information on OpenVera and OVA, visit www.open-vera.com. About Synopsys Synopsys, Inc. (Nasdaq:SNPS), headquartered in Mountain View, California For the census-designated place, see Mountain View, Contra Costa County, California. For other places called "Mountain View", see . Mountain View is a city in Santa Clara County, in the U.S. state of California. The city gets its name from the views of the Santa Cruz Mountains. , creates leading EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. tools for the global electronics market. The company delivers advanced design technologies and solutions to developers of complex integrated circuits, electronic systems and systems on a chip. Synopsys also provides consulting and support services support services Psychology Non-health care-related ancillary services–eg, transportation, financial aid, support groups, homemaker services, respite services, and other services to simplify the overall IC design process and accelerate time to market for its customers. Visit Synopsys at http://www.synopsys.com. Synopsys is a registered trademark of Synopsys, Inc. OpenVera is a trademark of Synopsys. All other trademarks or registered trademarks mentioned in this release are the intellectual property of their respective owners. |
|
||||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion