| The New Economics of Verification |
A more intelligent approach to verification can help design teams control the rising cost of chip design, according to Manoj Gandhi, senior vice president and general manager of Synopsys’ Verification Group. Sep 13, 2010 |
|
| Generating AMD microcode stimuli using VCS constraint solver |
In this article, we explore using a hierarchical constrained-random approach to accelerate generation and reduce memory consumption, while providing optimal distribution and biasing to hit corner cases using the Synopsys VCS constraint solver. We present and analyze the method and discuss its effectiveness in today’s verification environment. Jul 14, 2010 |
|
| Attacking Constraint Complexity: E Soft and SystemVerilog Default Constraints |
This two-part article series looks at a scalable constraint methodology and provides an overview of some of the key constraint optimization challenges and strategies of concern to verification engineers. Part 2 of this article series focuses on explores the similarities and differences, including subtle semantic differences, between E Soft Constraints and OpenVera Default constraints in the interest of optimizing constraint performance and speeding validation.
Mar 09, 2010 |
|
| Attacking Constraint Complexity: Verification IP Reuse |
This two-part article series looks at a scalable constraint methodology and provides an overview of some of the key constraint optimization challenges and strategies of concern to verification engineers. Part 1 of this article series focuses on verification IP reuse—detailing how a solver typically interprets constraints and providing a case study focused on a constraint-driven performance optimization strategy with respect to the flexible packet parser of a hypothetical networking ASIC. Mar 02, 2010 |
|
| Verification alive and well at SoC virtual conference |
During the first EE Times System-on-Chip Virtual Conference, a panel on verification challenges raised pressing issues in the areas of cost, startups, impact of electronic sytem level (ESL) design, virtual plattforms and functional verification as a methodology. Sep 17, 2009 |
|
| SystemVerilog and VMM Overcome WiMAX Verification Challenges |
SystemVerilog and VMM-based environment help achieve first pass silicon success by performing smarter verification quicker.
Aug 05, 2009 |
|
| Parallel Simulation Boosts Verification Productivity |
As compute infrastructures transition to multicore, multi-threaded architectures, verification solutions must evolve to optimize the performance on new hardware. Apr 17, 2009 |
|
| Synopsys parallelizes and unifies simulation and verification tasks of VLSI design |
EDA industry is reeling under pressure to innovate. Semiconductor vendors are in no-mood to pay hefty charges for some small improvements. EDA vendors are left with limited options either to provide cost optimized solution or powerful high performance chip design software of 2x performance for same cost. Apr 14, 2009 |
|
| Multicore, Mixed Signal Tools Take Center Stage |
Synopsys is beefing up its Discovery verification platform, a move that is at the forefront of a projected recovery in the electronics industry and a new push for tools that can help ease the burden of increasingly complex SoC designs.
Apr 06, 2009 |
|
| Synopsys Introduces Discovery 2009 |
Platform Encompasses New Multicore Simulation Performance, Native Design Checks, Comprehensive Low Power Verification Capabilities, and CustomSim Unified Circuit Simulation Solution. Apr 06, 2009 |
|
| Synopsys Moves Tools to Multicore Hosts |
Synopsys has increased verification speed and brought digital, analogue and memory simulation under the same roof as it moves its tools to multi-core hosts. Apr 06, 2009 |
|
| Verification Evolves Into Lean, Mean Bug-Stomping Machines |
We all want our next-generation Pocket Rocket to do new stuff (and do the old stuff better), as well as get smaller, run longer, and cost less. We also don't necessarily want to wait for the holiday season for it to hit the shelves. We gadget freaks are often rather impatient in that regard. Sep 11, 2008 |
|
| Using VMM, DPI, and TCL to Leverage Verification and Enable Early Testing, Emulation, and Validation |
Let’s face it. Some designers refuse to learn a new language. Or, the prospect of learning object-oriented programming makes some people break out in hives. Aug 26, 2008 |
|
| TCL Drives C Drives SystemVerilog |
Judging by advertising and datasheets and other promotional materials, verification is pretty much a simple, clear-cut, well-solved problem. Actually, that’s not quite true. Aug 26, 2008 |
|
| SystemVerilog-The Complete Solution |
The electronics industry is constantly challenged by the ever-growing design and verification requirements for complex chips. Jul 06, 2006 |
|
| SystemVerilog reference verification methodology-ESL |
Over the past 20 years, the level of abstraction for chip design has risen from transistors through gates and RTL to the electronic system level (ESL). Jun 12, 2006 |
|
| SystemVerilog reference verification methodology: RTL |
Verification is the single biggest challenge in the design of system-on-chip (SoC) devices and reusable IP blocks. May 01, 2006 |
|
| SystemC and/or SystemVerilog |
Today’s chip design requires extensive system-level simulations to ensure that the right architectural trade-offs are made. In most cases these simulations require that a substantial amount of software is executed on the simulation model of the chip to cover the required functionality. Mar 06, 2006 |
|
| Synopsys Announces SystemVerilog Testbench |
At the SNUG (Synopsys Users Group) East meeting this week in Boston, Synopsys will release Pioneer-NTB, its new automatic testbench-verification system supporting the SystemVerilog design and verification language. Sep 26, 2005 |
|
| SystemVerilog verification manual published |
SAN FRANCISCO — The SystemVerilog Verification Methodology Manual (VMM), a book authored by verification experts from Synopsys Inc. and ARM Ltd. describing the use of SystemVerilog for verification, has been publish by Springer Science + Business Media Inc., the publisher said Wednesday (Sept. 21). Sep 21, 2005 |
|
| Advanced Block-Level Bug-Hunting with Assertion-Based Verification Methodology and Hybrid Formal Verification |
In the past few years, the semiconductor industry has been adding ever larger engineering resources to meet rapidly increasing functional verification challenges. Jul 01, 2005 |
|
| System Verilog users speak out |
ANAHEIM, Calif. — A System Verilog Users' Forum here at the Design Automation Conference on Monday (June 13) gave a rare opportunity for users to speak out through the din of marketing messages that is growing over the battlefield between System Verliog and System C. Jun 14, 2005 |
|
| Synopsys Claims Enhanced Tool Can Speed Verification by Up to 5X |
SAN FRANCISCO — Synopsys Inc. said Tuesday (May 31) that new capabilities added to its VCS register-transfer level (RTL) product can improve verification speed by up to five times. May 31, 2005 |
|
| Coverage is the heart of verification |
Every design verification technique requires coverage metrics to gauge progress, assess effectiveness, and help determine when the design is robust enough for tapeout. Feb 14, 2005 |
|