Effektiv verifikation på tværs af clockdomæner
Mentor Graphics lancerer 0-In CDC Version 3.0, der understøtter verifikation af større, mere komplekse designs (in english).
Mentor Graphics Corp. has announced the immediate availability of the 0-In CDC tool version 3.0, the industry's most complete and effective solution for clock domain crossing verification.
The patented technology in the 0-In CDC tool enables comprehensive analysis and verification of clock domains, synchronization, protocols, and reconvergence, using a combination of static formal verification and simulation in a highly-automated flow. As a result, the 0-In CDC tool enables verification of the most complex designs, with little user effort.
The 0-In CDC v3.0 tool supports SystemVerilog, Verilog, and VHDL with a wide variety of design styles and synchronization methods. In version 3.0, the 0-In CDC tool supports top-down, bottom-up, and mixed approaches for hierarchical analysis, and gives the user more control over the verification process.
The 0-In CDC v3.0 tool includes patented technology that enables verification of the effects of metastability and reconvergence during simulation. In addition, the 0-In CDC v3.0 tool exports data to Mentor’s Unified Coverage Data Base (UCDB). Together, these enhancements enable users to verify larger and more complex designs and integrate the results into a complete coverage-driven verification flow.
- Clock-domain crossing verification is an increasingly-difficult challenge in today's designs, which have large numbers of typically asynchronous clock domains. It is a complex verification problem that requires a multi-faceted solution, says John Lenyo, general manager, Design Verification Technology (DVT) division.
- The 0-In CDC tool provides such a solution by combining our best-in-class formal technology with the industry-leading Questa verification platform to attack the problem from several directions. Version 3.0 builds on extensive customer experience over the past 5 years to provide even greater flexibility and power.
Questa functional verification platform
The Questa functional verification platform combines high performance and high capacity with the most comprehensive verification capabilities in the industry. Assertion-based Verification (ABV), intelligent testbench automation, Multi-view Verification Components (MVCs), and Coverage-driven Verification (CDV) are supported natively by the Questa platform’s high-performance assertion engine; a modern, high-performance constraint solver; and extensive functional coverage features, including verification management leveraging the Unified Coverage Database (UCDB).
Verification of low power design functionality can be proven in an RTL environment with power-aware functional verification. This full set of advanced verification functionality is enabled by a flexible Open Verification Methodology (OVM) that delivers unrivaled language and feature support in any design and verification flow.
Relaterede nyheder
- • Find spændende apps til OrCAD og Allegro på nettet
- • Samsung bruger Synopsys IC kompiler til ARM Cortex-A15 SoCs
- • Altium udvider med Maxim board-level komponenter
- • Synopsys lancerer 3D IC initiativ
- • Altium og Microchip samarbejder om board-level design
- • HDL kode genereres automatisk fra MATLAB
- • Altium lancerer 'Designer 12'
- • Altium leverer nye board-level komponenter fra Altera
- • Altium rykker tættere på ST
- • Første komplette AUTOSAR 4.x løsning
- • Første integrerede løsning til termisk analyse og karakterisering
- • Synopsys køber Magma
- • Succesfuldt nordisk samarbejde om system-level værktøjer
- • Web-portal med system-level modeller af SoC komponenter
- • Altium og Würth Elektronik samarbejder om nye komponentbiblioteker
Seneste nyheder
- • Kontron satser stort på den nyeste Intel Core i7 processorteknologi
- • LG demonstrerer 55 tommer OLED tv i Europa
- • Exova Metech tilbyder nu kalibrering af ESD pistoler
- • Mouser udbygger med leverandør af antenner til M2M applikationer
- • EBV-magasin om funktionel sikkerhed
- • Bluetooth audiomodul til trådløse højttalersystemer
- • Techno-Matic i nyt forretningsområde
- • Årets Elektropris er uddelt
- • Første SAR A/D-konverter med SPICE model
- • Premier Farnell får ny chef
- • Step-down konverter opererer med 96 procent effektivitet
- • Maxwell Technologies hos Digi-Key
- • Højeffektive DC/DC-konvertere i brick-format
- • Farnell udvider med GNSS/GPS receivere
- • Fuld HD LCD-modul med stor betragningsvinkel
- • Ny teknologi skræmmer fugle væk fra markerne
- • Silicon Labs køber 2,4 GHz specialisten Ember
- • Touch platform emulerer fysiske trykknapper
- • AMD udvider APU platformen med ny R-serie
- • Ericsson klar med ny generation af powermoduler
- • Første 4 Gbit LPDDR'er i 20nm teknologi
- • SemiSouth sampler første 650V SiC JFETs
- • Digi-Key i globalt samarbejde med t-Global Technology
- • austriamicrosystems bliver til 'ams'
- • Find spændende apps til OrCAD og Allegro på nettet