Verification Academy

Search form

My Account Menu

  • Register
  • Log In
  • Topics
  • Courses
  • Forums
  • Patterns Library
  • Cookbooks
  • Events
  • More
  • All Topics
    The Verification Academy offers users multiple entry points to find the information they need. One of these entry points is through Topic collections. These topics are industry standards that all design and verification engineers should recognize. While we continue to add new topics, users are encourage to further refine collection information to meet their specific interests.
    • Languages & Standards

      • Portable Test and Stimulus
      • Functional Safety
      • Design & Verification Languages
    • Methodologies

      • UVM - Universal Verification Methodology
      • UVM Framework
      • UVM Connect
      • FPGA Verification
      • Coverage
    • Techniques & Tools

      • Verification IP
      • Simulation-Based Techniques
      • Planning, Measurement, and Analysis
      • Formal-Based Techniques
      • Debug
      • Clock-Domain Crossing
      • Acceleration
  • All Courses
    The Verification Academy is organized into a collection of free online courses, focusing on various key aspects of advanced functional verification. Each course consists of multiple sessions—allowing the participant to pick and choose specific topics of interest, as well as revisit any specific topics for future reference. After completing a specific course, the participant should be armed with enough knowledge to then understand the necessary steps required for maturing their own organization’s skills and infrastructure on the specific topic of interest. The Verification Academy will provide you with a unique opportunity to develop an understanding of how to mature your organization’s processes so that you can then reap the benefits that advanced functional verification offers.
    • Universal Verification Methodology (UVM)

      • Advanced UVM
      • Basic UVM
      • Introduction to UVM
      • UVM Connect
      • UVM Debug
      • UVMF - One Bite at a Time
    • Featured Courses

      • Introduction to ISO 26262
      • Introduction to DO-254
      • Clock-Domain Crossing Verification
      • Portable Stimulus Basics
      • Power Aware CDC Verification
      • Power Aware Verification
      • SystemVerilog OOP for UVM Verification
    • Additional Courses

      • Assertion-Based Verification
      • An Introduction to Unit Testing with SVUnit
      • Evolving FPGA Verification Capabilities
      • Metrics in SoC Verification
      • SystemVerilog Testbench Acceleration
      • Testbench Co-Emulation: SystemC & TLM-2.0
      • Verification Planning and Management
      • VHDL-2008 Why It Matters
    • Formal-Based Techniques

      • Formal Assertion-Based Verification
      • Formal-Based Technology: Automatic Formal Solutions
      • Formal Coverage
      • Getting Started with Formal-Based Technology
      • Handling Inconclusive Assertions in Formal Verification
      • Sequential Logic Equivalence Checking
    • Analog/Mixed Signal

      • AMS Design Configuration Schemes
      • Improve AMS Verification Performance
      • Improve AMS Verification Quality
  • All Forum Topics
    The Verification Community is eager to answer your UVM, SystemVerilog and Coverage related questions. We encourage you to take an active role in the Forums by answering and commenting to any questions that you are able to.
    • UVM Forum

      • Active Questions
      • Solutions
      • Replies
      • No Replies
      • Search
      • UVM Forum
    • SystemVerilog Forum

      • Active Questions
      • Solutions
      • Replies
      • No Replies
      • Search
      • SystemVerilog Forum
    • Coverage Forum

      • Active Questions
      • Solutions
      • Replies
      • No Replies
      • Search
      • Coverage Forum
    • Additional Forums

      • Announcements
      • Downloads
      • OVM Forum
  • Patterns Library
    The Verification Academy Patterns Library contains a collection of solutions to many of today's verification problems. The patterns contained in the library span across the entire domain of verification (i.e., from specification to methodology to implementation—and across multiple verification engines such as formal, simulation, and emulation).
    • Implementation Patterns

      • Environment Patterns
      • Stimulus Patterns
      • Analysis Patterns
      • All Implementation Patterns
    • Specification Patterns

      • Occurrence Property Patterns
      • Order Property Patterns
      • All Specification Patterns
    • Pattern Resources

      • Start Here - Patterns Library Overview
      • Whitepaper - Taking Reuse to the Next Level
      • Verification Horizons - The Verification Academy Patterns Library
      • Contribute a Pattern to the Library
  • All Cookbooks
    Find all the methodology you need in this comprehensive and vast collection. The UVM and Coverage Cookbooks contain dozens of informative, executable articles covering all aspects of UVM and Coverage.
    • UVM Cookbook

      • UVM Basics
      • Testbench Architecture
      • DUT-Testbench Connections
      • Configuring a Test Environment
      • Analysis Components & Techniques
      • End Of Test Mechanisms
      • Sequences
      • The UVM Messaging System
      • Other Stimulus Techniques
      • Register Abstraction Layer
      • Testbench Acceleration through Co-Emulation
      • Debug of SV and UVM
      • UVM Connect - SV-SystemC interoperability
      • UVM Versions and Compatibility
      • UVM Cookbook
    • Coding Guidelines & Deployment

      • Code Examples
      • UVM Verification Component
      • Package/Organization
      • Questa/Compiling UVM
      • SystemVerilog Guidelines
      • SystemVerilog Performance Guidelines
      • UVM Guidelines
      • UVM Performance Guidelines
    • Coverage Cookbook

      • Introduction
      • What is Coverage?
      • Kinds of Coverage
      • Specification to Testplan
      • Testplan to Functional Coverage
      • Bus Protocol Coverage
      • Block Level Coverage
      • Datapath Coverage
      • SoC Coverage Example
      • Requirements Writing Guidelines
      • Coverage Cookbook
  • All Events
    No one argues that the challenges of verification are growing exponentially. What is needed to meet these challenges are tools, methodologies and processes that can help you transform your verification environment. These recorded seminars from Verification Academy trainers and users provide examples for adoption of new technologies and how to evolve your verification process.
    • Upcoming & Featured Events

      • CDC+RDC Analysis - 4/20
      • Low Power Verification - 4/29
      • Fault Campaign for Mixed-Signal - 5/4
      • User2User - 5/26
      • Webinar Calendar
    • On-Demand Webinars

      • Basic Abstraction Techniques
      • Safety Analysis Techniques
      • QVIP Workflow and Debug for PCIe
      • Writing a Proxy-driven Testbench
      • Achieving High Defect Coverage
      • Visualizer Features
      • Questa Static and Formal Apps
      • All On-Demand Webinars
    • Recording Archive

      • Siemens EDA 2021 Functional Verification Webinar Series
      • Improving Your SystemVerilog & UVM Skills
      • Should I Kill My Formal Run?
      • Visualizer Debug Environment
      • Industry Data & Surveys
      • All Recordings
    • Conferences

      • DVCon 2021
      • DVCon 2020
      • DAC 2019
      • All Conferences
    • Mentor Learning Center

      • SystemVerilog Fundamentals
      • SystemVerilog UVM
      • View all Learning Paths
  • About Verification Academy
    The Verification Academy will provide you with a unique opportunity to develop an understanding of how to mature your organization's processes so that you can then reap the benefits that advanced functional verification offers.
    • Blog & News

      • Verification Horizons Blog
      • Academy News
      • Academy Newsletter
      • Technical Resources
    • Verification Horizons Publication

      • Verification Horizons - March 2021
      • Verification Horizons - November 2020
      • Verification Horizons - July 2020
      • Issue Archive
    • About Us

      • Verification Academy Overview
      • Subject Matter Experts
      • Contact Us
    • Training

      • Questa Basic
      • Questa Advanced
      • Mastering Questa
  • Home
  • Verification Horizons
  • June 2013
  • Maximum Productivity with Verification IP

Maximum Productivity with Verification IP

Verification Horizons - Tom Fitzpatrick, Editor

Maximum Productivity with Verification IP by Joe Rodriguez, Raghu Ardeishar, and Rich Edelman, Mentor Graphics

When beginning a new design it's common to evaluate how to build a verification infrastructure in the quickest amount of time. Of course it's never just quick to deploy, verification also has to be complete enough to improve confidence in the design. Rapid bring-up and improving the quality of your design are excellent goals. However, you should not forget that your environment should be efficient to use during the verification process. This is where you will spend most of your time, slugging it out day after day. Arguably, debugging design bugs is one of the most time consuming tasks of any project. Transaction Level Modeling (TLM) will change the way you think about debug productivity, especially if you have recently experienced the long and difficult task of deciphering PCIe's training sequences, data transfers and completion codes at the pin level.

Who has resources to learn new verification technology rapidly enough to have an impact on the verification quality of an upcoming design? Most teams begin by looking at schedules, ongoing support tasks and self-determine that they don't have enough time or resources. However, everyone who has standard interfaces like PCIe can answer "I can improve my verification productivity with Mentor Verification IP".

Mentor VIP enables productivity in deployment, adherence to the protocol for quality and improved time to debug design errors. Mentor VIP is a self-contained high level verification environment based on OVM or UVM with a builtin protocol based test plan that is fueled with high level test scenarios that deliver functional coverage based test plan tracking. Mentor VIP delivers on the promise of UVM/OVM high level verification infrastructure for validating protocols like PCIe.

There is a growing community of SystemVerilog and UVM/ OVM knowledgeable engineers, but who has the significant resources needed to create an advanced verification environment? Such an environment is already available to validate standard protocols like PCIe. Simply creating a test plan for a complex protocol like PCIe alone is too large for many teams; you also have to generate test scenarios. This is just part of what goes into architecting a productive verification environment.

The answer to having enough time to improve your productivity is to re-use the verification infrastructure that meets your requirements that is already pre-built for you.

If you have experience debugging PCIe design in either pre or post silicon you have experienced the very daunting task of debugging at the pin level. Tales of deciphering long training sequences, data transfers and completion codes are common when people share their difficult PCIe debug experiences.

One of the main benefits of high level verification is Transaction Level Modeling (TLM). TLM is not just used to implement high level test scenario generation. You should require that your verification environments also support debugging with TLM viewing if you want to maximize your productivity.

Mentor VIP uniquely extends to debugging of high level PCIe transactions within Questa's simulation environment. A common debug scenario is speed negotiation during LTTSM training. Suppose you are designing PCIe Gen2 device and at initial training the Link reaches L0, at speed change to 5GT/s it fails and the link drops back to 2.5GT/s, a significant loss in performance. This is a classic PCIe design bring-up error. Why did the negotiation to 5GT/s fail? Do both sides of the link exit idle and send the proper training sequences at 5GT/s? Is the upstream device not sending TS2 ordered sets or is it the downstream device? Did you set the proper speed in the PCIe data rate field? What is the value of the N_FTS Field and are you being held back by this? Or perhaps it's a software bug, did you validate the data rate in the packet is the proper speed rating? Figure 1 is a screenshot of a PCIe Gen2 device in LTSSM link training using the pre-built PCIe Mentor VIP and Questa waveform viewer. From this view you can easily see the N_FTS field has the low number of 0Ah and your data rate field value of 86h is set for Gen2. Armed with this information you can easily make bug hunting decisions. How long would this take you to verify deciphering the serial bus?

Figure 1: PCIe Mentor VIP and Questa Transaction Level Debug Productivity

 PCIe Mentor VIP and Questa Transaction Level Debug Productivity


How do you gain this level of debug productivity? It's relatively straight forward.

There are two possibilities. In the first scenario you already have an existing PCIe environment. In this case you can simply attach a PCIe Mentor Verification IP in monitor mode. Mentor VIP will just monitor the PCIe interface and reconstruct the activity at the TL,DL and PL layers. You get the transaction activity in the wave window to debug with a complete history of all activity. This data is also fed to a coverage collector which gives TL, DL and PL level coverage.

In the second scenario you use Mentor VIP either as a RootComplex or EndPoint. In this case the built in monitor and protocol analyzer gives you the transaction details and coverage collection.

Figure 2 shows the SystemVerilog/UVM source code needed to add a PCIe Mentor VIP monitor to your existing environment to monitor your PCIe design.

Figure 2: Connect the PCIE VIP Monitor to the Design Under Test

 Connect the PCIE VIP<br />
Monitor to the Design Under Test


PCIe is a complex environment. In the previous step we have connected the Mentor VIP to the environment. What remains is to configure it to match parameters to the DUT. Examples are LTSSM parameters, expected speeds of operation, abstraction level of packets the designer wants to observe etc. Figure 3 shows a snapshot of the configuration.

Next you connect the monitor to the design under test (DUT) as shown in Figure 3.

Figure 3: Instantiate PCIE VIP Monitor in your verification environment

 Instantiate PCIE VIP Monitor in your verification environment


Debugging efficiency is only one aspect of a more productive Verification environment. You can easily configure the PCIe Mentor VIP to an active role so you can generate tests with the same efficiency illustrated in the debug scenario above. With these relatively small editions your PCIe environment is connected to a complete monitor, protocol checker and coverage collector.

In the case where Mentor VIP is either the RC or EP, Figure 2 will be modified to ensure Mentor VIP drives the correct end based on whether it is the RC and EP. In Figure 3 the agents will no longer be passive but appropriate sequences will be run based on the desired behavior. You automatically get the monitor, coverage collection and protocol checker.

High level modeling enables more people to create tests, thereby making it easier to add engineering resources to improve the quality of your designs as the project matures. With the pre-build PCIe test plan you can construct a highly detailed scoreboard that reflects your environment, and which also offers all the capabilities to close on coverage in an efficient and predictable way—capabilities like test plan tracking with functional coverage. Of course the PCIe Mentor VIP has a pre-built scoreboard so you have a ready template to help you improve your time to verify the complex components you are providing to the market. Figure 4 shows the pre-built Mentor VIP PCIe test plan and the results of merging a suite of regression runs that have been linked to it. This provides visibility into your verification process so that your schedules can become more predictable.

In conclusion, while thinking about your next project's test plan, and begin to architect your verification environment you should seriously consider all the options available to help you improve your Verification Productivity with Mentor VIP as illustrated with this PCIe example.

Figure 4: Functional Coverage results and Test Plan Tracking

 Functional Coverage results and Test Plan Tracking

 

Back to Top

Table of Contents

Verification Horizons Articles:

  • An Up-sized DAC Issue Takes the Stage

  • Interviewing a Verification Engineer

  • Maximum Productivity with Verification IP

  • Power Up Hardware/Software Verification Productivity

  • Non-invasive Software Verification using Vista Virtual Platforms

  • QVM: Enabling Organized, Predictable, and Faster Verification Closure

  • Verifying High Speed Peripheral IPs

  • Confidence in the Face of the Unknown: X-state Verification

  • Making it Easy to Deploy the UVM

  • NoC Generic Scoreboard VIP

  • Flexible UVM Components: Configuring Bus Functional Models

  • Monitors, Monitors Everywhere – Who Is Monitoring the Monitors?

  • The Need for Speed: Understanding Design Factors that Make Multi-core Parallel Simulations Efficient

Siemens Digital Industries Software

Siemens Digital Industries Software

##TodayMeetsTomorrow

Solutions

  • Cloud
  • Mendix
  • Siemens EDA
  • MindSphere
  • Siemens PLM
  • View all portfolio

Explore

  • Digital Journeys
  • Community
  • Blog
  • Online Store

Siemens

  • About Us
  • Careers
  • Events
  • News and Press
  • Newsletter
  • Customer Stories

Contact Us

USA:

phone-office +1 800 547 3000

See our Worldwide Directory

  • Contact Us
  • Support Center
  • Give us Feedback
©2021 Siemens Digital Industries Software. All Rights Reserved.
Terms of Use Privacy Cookie Policy