| 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 |
|
| Freescale, Synopsys broaden collaboration to cut IC verification cost |
Freescale Semiconductor Inc. and Synopsys, Inc. announced they have expanded their multi-year verification collaboration. Oct 26, 2009 |
|
| 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 |
|
| Software-to-silicon verification @ 45nm and beyond |
Chip and system developers once considered verification as a secondary activity following the main challenge of design, with the "Designer" playing the central role in a design's success. This notion is firmly turned on its head today, as verification is the biggest component of chip hardware development budgets, schedules, staffing and risk. Jul 20, 2009 |
|
| Chip-verification and -design flow focuses on low power |
The latest generation of Synopsys’ Discovery verification platform upgrades the offering with new multicore simulation technologies, native design checks and low- power verification capabilities. May 01, 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 |
|
| SystemVerilog reference verification methodology: Introduction |
Verification is the single biggest challenge in the design of system-on-chip (SoC) devices and reusable IP blocks. Mar 27, 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 |
|
| The High Cost of Verification |
Electronic News sat down to discuss the future of verification with Scott Sandler, president and CEO of Novas Software; Mark Gogolewski, CTO of Denali; Farhad Hayat, VP of marketing for Synopsys' verification group, and Lauro Rizzatti, general manager of Emulation and Verification Engineering USA. What follows are excerpts of that discussion. Sep 23, 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 |
|