Search Results

Advanced Search

2419 Results

Five Common Pitfalls to Avoid while Verifying PCIe Based NVMe Controllers

Resource (Paper (.PDF)) - Dec 19, 2016 Saurabh Sharma - Siemens EDA

NVMe is an optimized, high-performance scalable host controller interface designed to address the needs of Enterprise and Client systems that utilize PCI Express-based solid-state storage. Designed to move beyond the dark ages of hard disk drive technology, NVMe is built from the ground up for non-volatile memory (NVM) technologies.
Verifying Display Standards: A Comprehensive UVM-based Verification IP Solution

Resource (Paper (.PDF)) - Dec 19, 2016 Saumya Agrawal - Siemens EDA

The display protocol IP market is growing at a very fast pace. This is chiefly the outcome of the incredible increase in popularity of a wide variety of display source devices: such as DVD players, computer systems, and display sink/receiver devices: such as televisions, projectors, and display instruments. End users, the consumers, have also become more technologically savvy, increasing the demand for more and better products.
The Fundamental Power States for UPF Modeling and Power Aware Verification

Resource (Paper (.PDF)) - Dec 14, 2016 Progyna Khondkar

This paper shares validation procedures for UPF strategies. Design examples and case studies demonstrate how to achieve power aware verification closure with state and transition coverage, as well as state cross-coverage of power domains and supply sets in more flexible and controllable ways.
The Fundamental Power States for UPF Modeling and Power Aware Verification

Paper - Dec 14, 2016 Progyna Khondkar

This paper shares validation procedures for UPF strategies. Design examples and case studies demonstrate how to achieve power aware verification closure with state and transition coverage, as well as state cross-coverage of power domains and supply sets in more flexible and controllable ways. Eventually the power state concept realization allows probing further into the power management components for design and IP integration in different levels of designs, from RTL to PG-netlist.
What is CDC Protocol Verification: Why You Absolutely Need It to Prevent Bugs in Your Silicon

Webinar - Dec 05, 2016 Kurt Takara

In this session, we discuss the pros and cons of various approaches to verifying Clock-Domain Crossing (CDC) protocols and we show how Questa CDC automatically generates protocol assertions.
What is CDC Protocol Verification: Why You Absolutely Need It to Prevent Bugs in Your Silicon

Resource (Slides (.PDF)) - Dec 05, 2016 Kurt Takara

In this session, we discuss the pros and cons of various approaches to verifying CDC protocols and we show how Questa CDC automatically generates protocol assertions.
How to Shorten Your Schedule with Interactive Formal Debug and Design Exploration

Webinar - Dec 05, 2016 Mark Eslinger

In this session, you will learn how to shorten your formal debug time and how using formal to explore design functionality.
Part 12: IC/ASIC Verification Results Trends

Resource (Verification Horizons Blog) - Dec 02, 2016 Harry Foster

In my previous blog, I provided data related to designs that actively manage power. In this blog, I present verification results findings in terms of schedules, number of required spins, and classification of functional bugs. Fig. 12-1 presents the design completion time compared to the project’s original schedule. While the data suggest that in 2014 there was a slight improvement in projects meeting their original schedule, the 2016 findings are consistent with the 2007 and 2012 studies.
Part 11: IC/ASIC Power Management Trends

Resource (Verification Horizons Blog) - Nov 21, 2016 Harry Foster

In my previous blog, I presented our study findings on various verification language and library adoption trends. In this blog, I focus on power trends. Today, we see that about 72 percent of design projects actively manage power with a wide variety of techniques, ranging from simple clock-gating, to complex hypervisor/OS-controlled power management schemes (see Fig. 11-1). This is essentially unchanged from our 2014 study.
FPGA Prototyping: Maximize Your Enterprise Debug Productivity

Webinar - Nov 11, 2016 Stephen Bailey

In this session, you will learn how to maximize your enterprise debug productivity.
Industry Trends in Today’s Functional Verification Landscape

Webinar - Nov 11, 2016 Harry Foster

In this session, you will learn more about today's industry trends in the functional verification landscape including static and dynamic verification.
Enterprise Verification Debug and Analysis

Webinar - Nov 11, 2016 Stephen Bailey

In this session, you will learn how debug and analysis fits into a platform-based verification solution.
System Level Debug & Analysis

Seminar - Nov 11, 2016 Gordon Allan

In this session you will learn why block level methods don't work for system level verification and why design bugs commonly escape all the way to the prototyping lab and the debug technology alternatives available to address them.
Enterprise Debug for Formal Verification

Webinar - Nov 11, 2016 Joe Hupcey

In this session you learn more about formal-centric enterprise debug.
Enterprise Debug for Simulation and Formal

Seminar - Nov 11, 2016 Moses Satyasekaran

In this session, you will learn more about common debug challenges and modern debug solutions.
How to Get the Maximum Out of Your Assertion and Coverage Based Verification Methodology

Article - Nov 07, 2016 Nitish Goel - Siemens EDA

Verification environments that assist with the right set of assertions and coverpoints not only increase the verification efficiency, but also aids the verification engineer to ensure that the functionality of the IP has been met according to design specifications. This article gives insight into how to capture assertions and coverpoints and how they should be written in order to achieve maximum design verification robustness.
USB Type-C Verification: Challenges & Solution

Article - Nov 07, 2016 Suraj Parkash Gupta, Zeeshan Yousuf - Siemens EDA

The standard USB connector that we are most familiar with is USB Type-A. Even as the USB data interface moved from USB1 to USB2 and then to USB3, the connector has remained the same. It is a massive connector and plugs in only one way.
INs and OUTs of CAN Verification: A Comprehensive UVM-based Solution

Article - Nov 07, 2016 Saumya Agrawal - Siemens EDA

Automotive vehicles are not only fast moving, but also have various systems comprising a variety of advanced technologies. Increasing complexities of these systems need much more sophisticated components and interactions. This article explains the challenges in the verification of a CAN node and how CAN Questa Verification IP combats those.
24x7 Productivity: Veloce® Enterprise Server App Does the Job

Article - Nov 07, 2016 Vijay Chobisa

The way companies use hardware emulation has changed. Historically, emulators were used in a lab, at one location, executing one job at a time. Because of this, an emulator often sat idle. In this scenario, project scheduling for the emulator was done manually by allocating fixed time slots to project teams. An inherently inflexible and inefficient way to manage a valuable resource, especially for global teams.
Power Aware Libraries: Standardization and Requirements for Questa Power Aware

Article - Nov 07, 2016 Progyna Khondkar

Multi-voltage (MV) based power-ware (PA) design verification and implementation methodologies require special power management attributes in libraries for standard, MV and Macro cells for two distinctive reasons.
Improving Performance and Verification of a System Through an Intelligent Testbench

Article - Nov 07, 2016 Umesh Patel, Dhaval Shah - Arastu Systems Pvt. Ltd.

The need for intelligent verification is the outcome of a two decade long pre-silicon verification process. Intelligent testbench automation, which is a supplement of intelligent verification, is a step closer towards achieving more confidence in design with minimal engineering effort. Applications today demand diverse functionality, which results in complex to very complex designs.
Part 10: IC/ASIC Language and Library Adoption Trends

Resource (Verification Horizons Blog) - Oct 31, 2016 Harry Foster

In my previous blog, I focused on I various verification technology adoption trends. In this blog I plan to discuss various IC/ASIC language and library adoption trends. Fig. 10-1 shows the adoption trends for languages used to create RTL designs. Essentially, the adoption rates for all languages used to create RTL designs is projected to be either declining or flat over the next year.
Functional Verification Study - 2016

Session - Oct 14, 2016 Harry Foster

In this session, Harry Foster highlights the key findings from the 2016 Wilson Research Group Functional Verification Study, and provides his interpretation and analysis behind today's emerging trends.
Part 9: IC/ASIC Verification Technology Adoption Trends

Resource (Verification Horizons Blog) - Oct 10, 2016 Harry Foster

In my previous blog, I focused on the growing IC/ASIC design project resource trends due to rising design complexity. In this blog I examine various verification technology adoption trends. Fig. 9-1 shows the IC/ASIC adoption trends for various simulation-based techniques from 2007 through 2016, which include code coverage, assertions, functional coverage, and constrained-random simulation.
Part 8: IC/ASIC Resource Trends

Resource (Verification Horizons Blog) - Oct 04, 2016 Harry Foster

In my previous blog, I focused on FPGA design and verification trends. I now will shift the focus of this series of blogs from FPGA trends to IC/ASIC trends. In this blog, I plan to discuss the growing IC/ASIC design project resource trends due to rising design complexity. Fig. 8-1 shows the percentage of total project time spent in verification. As you would expect, the results are all over the spectrum; whereas, some projects spend less time in verification, other projects spend more.