Simulator Adds Assertion IP And Native SystemVerilog Support

June 23, 2005
The latest release of the VCS verification environment sports new capabilities that help users find more bugs more quickly, with up to a fivefold increase in verification speed (see the figure). Key new features include a new assertion IP library and na

The latest release of the VCS verification environment sports new capabilities that help users find more bugs more quickly, with up to a fivefold increase in verification speed (see the figure). Key new features include a new assertion IP library and native testbench support for SystemVerilog.

The VCS assertion IP library contains a set of checkers that can be used with VCS or with Synopsys' Magellan formal-analysis tool. The IP library lets users perform functional checks during simulation, identify and report protocol violations, and capture assertion-coverage data. Designers also can use the library with Magellan to prove complex design properties.

Included with the library is IP for a range of interface and protocol standards, including PCI and PCI-X 2.0, AMBA 2 AHB and APB, 802.11a-g, SMIA, DDR2, OCP 2.0, and LPC. Also new to VCS 2005.06 is native support for the IEEE P1800 SystemVerilog testbench. VCS users can create verification environments using SystemVerilog's object-oriented, constrained-random stimulus and functional coverage capabilities.

VCS 2005.06 is expected to ship in the third quarter. Pricing starts at $25,480 for a one-year subscription license.

Synopsys www.synopsys.com

Sponsored Recommendations

What are the Important Considerations when Assessing Cobot Safety?

April 16, 2024
A review of the requirements of ISO/TS 15066 and how they fit in with ISO 10218-1 and 10218-2 a consideration the complexities of collaboration.

Wire & Cable Cutting Digi-Spool® Service

April 16, 2024
Explore DigiKey’s Digi-Spool® professional cutting service for efficient and precise wire and cable management. Custom-cut to your exact specifications for a variety of cable ...

DigiKey Factory Tomorrow Season 3: Sustainable Manufacturing

April 16, 2024
Industry 4.0 is helping manufacturers develop and integrate technologies such as AI, edge computing and connectivity for the factories of tomorrow. Learn more at DigiKey today...

Connectivity – The Backbone of Sustainable Automation

April 16, 2024
Advanced interfaces for signals, data, and electrical power are essential. They help save resources and costs when networking production equipment.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!