|
DesignWare Verification IP |
 |
|
|
 |
|
Overview
|
Synopsys’ DesignWare® Verification IP helps design engineers speed testbench development time by offering a broad portfolio of the industry's most popular bus protocols such as PCI Express®, USB, SATA, Ethernet, AMBA® On-Chip Bus, OCP and more. The Verification IP integrates easily into SystemVerilog, Verilog, VHDL and OpenVera testbenches and supports advanced verification methodologies such as VMM for SystemVerilog. In addition, the Verification IP delivers up to 5X simulation performance improvement when used with Synopsys’ VCS simulation tool. The DesignWare Verification IP is available in the DesignWare Library, VCS Verification Library or as single licenses.
VMM-enabled verification IP included in the DesignWare Verification IP Alliance Program is available from member companies. Current members of the DesignWare VIP Alliance Program include: eInfoChips and NoBug.
Synopsys’ DesignWare System-Level Library provides product development teams a comprehensive set of standards-based, tool-independent transaction-level models (TLMs) that serve as the building blocks of virtual platforms.
- AMBA
| Verifies AMBA 2.0 and AMBA 3 AXI™ SoC designs | more |
| | DesignWare Verification IP for AMBA supports all data, address widths and transfer types. The AMBA 3 AXI Verification IP is AMBA 3 Assured. |
- PCI Express
| Verifies PCI Express endpoints, switch and root complex devices | more |
| | DesignWare Verification IP can be configured for verification at multiple levels including the 8b/10b and PIPE interfaces. It can verify both the MAC and PHY. DOWNLOAD DATASHEET |
- USB
| Verifies USB 1.1, 2.0, OTG, UTMI, UTMI+,ULPI, LPM, HSIC interfaces | more |
| | DesignWare Verification IP can be configured as a host or dual role device. The flexible programming with protocol checking verifies the USB host, hub or device DOWNLOAD DATASHEET |
- SATA
| Verifies SoC designs implementing the SATA interface | more |
| | DesignWare Verification IP provides device and monitor models to verify compliance of a SATA host interface with the SATA 2.5 specification. DOWNLOAD DATASHEET |
| | The DesignWare Verification IP is compliant with IEEE 802.3 specifications and verifies MAC-to- PHY layer interfaces. DOWNLOAD DATASHEET |
| | DesignWare Verification IP conforms to the RS-232 standards and supports, Serial I/O, General Purpose I/O and IrDA DOWNLOAD DATASHEET |
- I2C
| Efficiently verifies the I2C bi-directional two-wire bus | more |
| | The DesignWare I2C Verification IP is compliant with version 2.1 of the Philips I2C-Bus specification and supports standard, fast and high speed operations. DOWNLOAD DATASHEET |
- PCI/PCI-X
| Verifies proper operation of the PCI and PCI-X specifications | more |
| | DesignWare Verification IP helps to create a virtual PCI or PCI-X system around the design, enabling quick and efficient generation of tests. DOWNLOAD DATASHEET |
- OCP
| Functionally verifies OCP 2.0/2.1/2.2 and 3.0 Interfaces | more |
| | DesignWare Verification IP verifies the master and slave devices in OCP systems and provides 100% functional coverage of the OCP-IP 2.0/2.1/2.2 and 3.0 compliance checks DOWNLOAD DATASHEET |
| | Synopsys provides over 10,000 memory models, supporting over 25 memory vendors. The memory models help ensure model accuracy, quality and reliability. DOWNLOAD DATASHEET |
- Star IP
| Design Views of High Value Star IP from IBM, NXP and Altera | more |
| IBM PowerPC | Includes simulation and timing models, verification environment and full documentation for the synthesizable PowerPC |
|
| NXP CoolFlux DSP | Includes simulation and timing models, verification environment and full documentation for the synthesizable CoolFlux 24-bit DSP Core |
| | The VCS Verification Library gives engineers access to all of the DesignWare Verification IP such as PCI Express, USB and AMBA, in a single license. DOWNLOAD DATASHEET |
| | Portfolio of tool-independent SystemC compliant transaction-level models which serve as the building blocks of virtual platforms. |
- HDMI
| Verifies HDMI Version 1.3 interfaces (Alliance VIP) | more |
| | eInfochips' HDMI VMM-based VIP is ready-made, highly configurable, reusable and scalable |
| | NoBug's DDR3 SDRAM is a high-speed CMOS, dynamic random-access memory |
| | DDR2 SDRAM is a high-speed CMOS, dynamic random-access memory |
| | eInfoChip’s MIPI CSI-2 VIP is compliant with the CSI-2 MIPI Specification for Camera Serial Interface Version 1.00 |
- MIPI HSI
| VMM-enabled MIPI HSI Verification IP (Alliance VIP) | more |
| | eInfoChip’s MIPI HSI VIP is compliant with the latest MIPI HSI physical layer specification Version 1.01.00 |
- MIPI DSI
| VMM-enabled MIPI DSI Verification IP (Alliance VIP) | more |
| | eInfoChip’s MIPI DSI VIP is compliant with the DSI MIPI Specification for Display Serial Interface Version 1.00 |
| | NoBug's two wire multi-drop interface supports a wide range of digital audio and control solutions for mobile terminals |
Verification IP and Verification Methodology Manual (VMM) for SystemVerilog The Verification Methodology Manual for SystemVerilog, co-authored by Synopsys and ARM, defines a coverage-driven, constrained random methodology that speeds time to reach coverage goals. DesignWare Verification IP provides extensive support for the VMM and includes scenario generators and transactors to significantly reduce testbench development time.
Verification IP and Native Testbench For high performance verification, DesignWare Verification IP supports VCS Native Testbench (NTB) technology. VCS compiles the Verification IP natively to provide up to five times faster runtime performance. DesignWare Verification IP also supports Pioneer NTB, Synopsys testbench automation tool, to give high performance in ModelSim and NC-Sim simulation environments.
VCS Verification Library The VCS Verification includes all of the DesignWare standards-based verification IP and Star IP design views. The broad portfolio of the verification IP in the VCS Verification Library integrates easily into SystemVerilog, Verilog, OpenVera and VHDL testbenches to generate and respond to bus traffic, check for protocol violations, and generate coverage reports. The VCS Verification Library supports the Verification Methodology Manual (VMM) for SystemVerilog using Synopsys' Reference Verification Methodology (RVM).
- Key Benefits
Broadest verification IP portfolio in the industry
Delivers 5X simulation performance improvement with VCS
Supports proven verification methodology for SystemVerilog
Includes example testbenches to accelerate learning and speed testbench development
The DesignWare Verification IP Alliance program gives designers access to a broader range of VMM-enabled verification IP, which complements DesignWare Verification IP. Members of the Alliance program have been pre-qualified by Synopsys for their extensive experience in verification methodology, VMM and verification IP development. The Verification IP included in the Alliance program is available from the member companies. It is developed using the same guidelines as the DesignWare Verification IP to help ensure that a consistent use model is delivered to designers.
The current Alliance members include:
eInfochips Inc. is a provider of product development solutions and services to Semiconductor companies worldwide. eInfochips’ goal is to help companies address their challenges related to IP integration, verification and technology migration in order to reduce the time to market for their products. eInfochips expertise spans design, verification, HVL-based verification methodology, system validation, and industry standard Verification IP development.
NoBug is an expert digital design verification company that masters a full range of technologies (functional, formal and assertion-based) with a variety of tools and languages (SystemVerilog,RuleBase, Vera, Verilog-PLI/C). NoBug’s goal is to establish strategic customer/client relationships designed to help deliver a customer-centric, total solutions approach to solving problems, developing business opportunities and creating sustainable advantage for their customers.
|
|
|
 |
|
 |