Search Results
Filters
Advanced Search
1980 Results
-
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 Download) - Dec 08, 2022 by Ratish Punnoose - Sandia National Laboratories
-
Harry Foster - Siemens EDA
Resource (Interview) - Dec 08, 2022 by Harry Foster
Interview with Harry Foster of Siemens EDA about the surprising results from the 2022 Wilson Research Study and Osmosis' presentations.
-
Holger Busch - Infineon
Resource (Interview) - Dec 08, 2022 by Holger Busch - Infineon
Interview with Holger Busch of Infineon about the origins of formal and how the presentations at Osmosis show how far formal verification has come.
-
Katharina Ceesay-Seitz - ETH Zurich
Resource (Interview) - Dec 08, 2022 by Katharina Ceesay-Seitz
Interview with Katharina Ceesay-Seitz of ETH Zurich about the value of attending Osmosis.
-
Philippe Luc - Codasip
Resource (Interview) - Dec 08, 2022 by Philippe Luc - Codasip
Interview with Philippe Luc of Codasip about his presentation on How formal lights up your RISC-V verification avenue .
-
Saranyu Chattopadhyay - Stanford University
Resource (Interview) - Dec 08, 2022 by Saranyu Chattopadhyay
Interview with Saranyu Chattopadhyay of Stanford University about his presentation on Accelerator quick error detection: Verification of hardware accelerators .
-
The State of Functional Verification: Crisis or Opportunity?
Resource (Slides Download) - Dec 08, 2022 by Harry Foster
-
The State of Functional Verification: Crisis or Opportunity?
Resource (Recording) - Dec 08, 2022 by Harry Foster
-
EC-FPGA Updates with an Introduction to Instance Mapping
Resource (Slides Download) - Dec 08, 2022 by Kevin Urish
-
EC-FPGA Updates with an Introduction to Instance Mapping
Resource (Recording) - Dec 08, 2022 by Kevin Urish