Search Results
Filters
Advanced Search
2078 Results
-
Verification Data Analytics with Machine Learning
Resource (Paper (.PDF)) - Jan 25, 2023 by Dan Yu
This whitepaper provides an overview on the importance of data to ML, the available data for verification, and the existing applications of ML in verification. It reveals that data itself may dictate applicable ML models. Machine learning has demonstrated great potential in verification. However, attention should be paid to generalizing and scaling the models to ensure their success in a production environment.
-
The UVM Factory Revealed - Part 2
Resource (Verification Horizons Blog) - Jan 25, 2023 by Chris Spear
This is a follow up to last week’s high-level post on the UVM Factory . Now let’s get technical! Here are the SystemVerilog Object-Oriented Programming concepts behind the factory.
-
Epilogue: 2022 Study Summary and Key Findings
Resource (Verification Horizons Blog) - Jan 23, 2023 by Harry Foster
This is the last in a sequence of blogs that presents the findings from our new 2022 Wilson Research Group Functional Verification Study. I opened this blog series with a Prologue posting that provided an overview of this year’s study. I think it is only fitting that I end this series with an Epilogue posting that summarizes some of this year’s key findings.
-
FPGA Functional Verification Trend Report - 2022
Resource (Paper (.PDF)) - Jan 23, 2023 by Harry Foster
This report examines the trends in functional verification for the field programmable gate array (FPGA) market segments identified in the 2022 Wilson Research Group study.
-
IC/ASIC Functional Verification Trend Report - 2022
Resource (Paper (.PDF)) - Jan 23, 2023 by Harry Foster
This report examines the trends in functional verification for integrated circuits (ICs) and application-specific integrated circuits (ASICs) as identified in the 2022 Wilson Research Group study.
-
The UVM Factory Revealed - Part 1
Resource (Verification Horizons Blog) - Jan 20, 2023 by Chris Spear
When you first learn UVM, most of the concepts make sense, even if you are new to Object-Oriented Programming. Except one, the UVM Factory. Why do you need all that extra code, class::type_id::create(), just to make an object? What’s wrong with just calling new()? The answer is teamwork!
-
Does Your UVM Flavor Have Sprinkles?
Resource (Verification Horizons Blog) - Jan 20, 2023 by Chris Spear
UVM is a standard, so that means that every company writes their testbenches the same, universally interchangeable, right? Not exactly. I just got back from teaching in Europe. No matter where the engineers grew up, they all spoke English, each with a different accent. I think that I don’t have an accent, having grown up in Alaska, but my coworkers in Texas and London would disagree. Let’s look at some of the different accents and flavors of UVM.
-
Conclusion: Deeper Dive into Non-Trivial Bug Escapes
Resource (Verification Horizons Blog) - Jan 15, 2023 by Harry Foster
Our study results show that the IC/ASIC market has matured its verification processes overtime to address growing complexity, predominately driving by the emergence of SoC-class designs in the mid-2000 timeframe. Today we find the FPGA market is maturing its verification processes.
-
Improving Verification Predictability and Efficiency Using Big Data
Resource (Paper (.PDF)) - Jan 10, 2023 by Darron May
This paper will define the typical verification environment and the data that it often leaves uncaptured across the duration of a project. It will show how the process of capture, process, and analyze can be applied to improve predictability and efficiency of the whole verification process.
-
Part 12: IC/ASIC Verification Results Trends
Resource (Verification Horizons Blog) - Jan 09, 2023 by Harry Foster
A metric often track to measure efficiency is ASIC project completion compared to the original schedule, as shown in Figure 12-1. Here we found that 66 percent of IC/ASIC projects were behind schedule, while 27% of projects were behind schedule by 27 percent.
-
Part 11: ASIC/IC Low Power Trends
Resource (Verification Horizons Blog) - Jan 02, 2023 by Harry Foster
As shown in figure 11-1, we found that 72% of design projects actively manage power. In fact, we found that the larger the design, the greater the concern for power management. Obviously, a wide variety of techniques, ranging from simple clock-gating to complex hypervisor/OS-controlled power management schemes are employed whose requirements require verification.
-
Siemens Xcelerator Academy: One Glance - All Trainings
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
Guide Your Learning Journey With @oneGlance Maps. Use the maps as visual guides of the recommended flow of learning. Each course entry shows available method of delivery and is linked to course datasheets and sign-up requests.
-
Learning Center: QuestaSim Training (Instructor Led)
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
Questa Core: HDL Simulation teaches users who are new to using Questa SIM for HDL simulation how to effectively use Questa Core to verify VHDL, Verilog, SystemVerilog, and mixed HDL designs. You will learn how Questa Core supports HDL behavioral simulations, and some basic concepts in the digital design flow. Also, you will receive an introduction on how to invoke the Visualizer debug environment to debug the simulation results from Questa.
-
Learning Center: QuestaSim Training (On-Demand)
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
Gain mastery of Advanced Questa Simulator’s capabilities to manage your advanced verification environments and debug verification bugs.
-
Learning Center: Visualizer Training (On-Demand)
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
The Visualizer course will help you to effectively use Visualizer™ Debug Environment to verify your design and explore your UVM based testbench.
-
Learning Center: Visualizer Training (Instructor Led)
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
The Visualizer course will help you to effectively use Visualizer™ Debug Environment to verify your design and explore your UVM based testbench.
-
Functional Verification: Self-Paced Library
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
This library contains learning paths that help you master functional verification tools, and the development of test environments using HDL-based methodologies. Learn how to use ModelSim/Questa GUI and command line to verify and debug HDL designs in interactive mode or build batch mode scripts for fast simulations. UVM Framework Verification IP ModelSim / Questa / Visualizer CDC / Lint / HDL Designer Much more 12 month subscription, On-Demand Training
-
SystemVerilog for Verification: Self-Paced Course
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
Learn about SystemVerilog fundamental and advanced verification constructs. SystemVerilog for Verification / Exam 12 month subscription, On-Demand Training
-
SystemVerilog UVM: Self-Paced Course
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
Learn how to create a reusable testbench from ground up using SystemVerilog UVM (Universal Verification Methodology) and how to add a UVM Register Model. SystemVerilog UVM / Exam UVM Intermediate / Exam 12 month subscription, On-Demand Training
-
Functional Verification: Badging and Certification
Resource (Learning Center) - Jan 01, 2023 by Siemens Learning Center
Test your skills and knowledge, improve productivity and advance your career. Pass any exam and receive a verifiable badge and certificate. To access this library for free, enter promotional code CERTNOW in the shopping cart.
-
Part 10: IC/ASIC Language and Library Adoption Trends
Resource (Verification Horizons Blog) - Dec 26, 2022 by Harry Foster
In this blog I plan to discuss various IC/ASIC language and library adoption trends. Figure 10-1 shows the aggregated adoption trends for languages used to create RTL designs across all market segments and all regions of the world. We see continual interest in SystemVerilog for RTL creation.
-
Part 8: IC/ASIC Resource Trends
Resource (Verification Horizons Blog) - Dec 18, 2022 by Harry Foster
In this blog, I plan to discuss the growing IC/ASIC project resource trends resulting from growing design complexity. Figure 8-1 shows the percentage of total IC/ASIC project time spent in verification. You can see two extremes in this graph. In general, projects that spend very little time in verification are typically working on designs with a good deal of existing pre-verified design IP, which is integrated to create a new product.
-
Part 9: ASIC Verification Technology Adoption Trends
Resource (Verification Horizons Blog) - Dec 18, 2022 by Harry Foster
The ASIC market in the mid-2000 timeframe underwent growing pains to address increased verification complexity, predominately brought on with the adoption of SoC-class designs. This maturing of ASIC projects’ processes is clearly visible when comparing various simulation-based verification technology adoption trends from 2007 through 2022 as shown in Figure 9-1, although the overall dynamic verification technique adoption trends have remained flat for the past few studies.
-
Formal Verification of Security Properties
Resource (Recording) - Dec 08, 2022 by Ratish Punnoose - Sandia National Laboratories
-
Formal Verification of Security Properties
Resource (Slides (.PDF)) - Dec 08, 2022 by Ratish Punnoose - Sandia National Laboratories