Search Results
Filters
Advanced Search
2212 Results
-
Continuous Integration (CI) / DevSecOps
Resource (Slides (.PDF)) - Jun 14, 2023 by Martin Rowe
Siemens' OneSpin Trust and Security tools and apps have technologies built upon world-class formal engines, and provide quantitative data verification results desired in emerging cybersecurity standards. In this presentation we will introduce apps that provide an automated assessment platform, perform processor verification, and offer completeness checking to perform security verification in your IC.
-
When it Comes to Artificial Intelligence and Machine Learning, Siemens Has You Covered
Resource (Slides (.PDF)) - Jun 14, 2023 by Tom Fitzpatrick
You may have been told many different things about what AI/ML can do in the area of functional verification, but this presentation will give you the real story. Beginning with an overview of what AI/ML actually means and what is actually available today, we will share how we are incorporating this exciting technology across our product portfolio.
-
Using Formal Technology for Secure IP Integration
Resource (Slides (.PDF)) - Jun 14, 2023 by John Hallman
-
Update on Formal-based Trust and Security Verification Flows
Resource (Slides (.PDF)) - Jun 14, 2023 by John Hallman
-
Securing RISC-V Military Projects
Resource (Slides (.PDF)) - Jun 14, 2023 by Christopher Diltz, Edaptive Computing, Inc.
-
TSS SoC Sign-Off Methodology: Quality & Productivity Gains
Resource (Slides (.PDF)) - Jun 14, 2023 by Dr. Vasker Bhattacherjee - Edaptive Computing, Inc.
-
Formal Verification of Security Properties
Resource (Slides (.PDF)) - Jun 14, 2023 by Ratish Punnoose - Sandia National Laboratories
In this session, you will learn what a security property is along with techniques for structural checks, taint checking, and differential analysis.
-
OneSpin EC-FPGA: Evolution and Updates
Resource (Slides (.PDF)) - Jun 14, 2023 by Kevin Urish
In this session, you will learn how OneSpin EC-FPGA accelerates the design flow and identifies bugs before they escape by enabling aggressive optimization usage.
-
Siemens Government Technologies and Microelectronics Assurance
Resource (Slides (.PDF)) - Jun 14, 2023 by Justin Brisco - Siemens Government Technologies
-
Questa Verification IQ: Boost Verification Predictability and Efficiency with Big Data
Resource (Slides (.PDF)) - Jun 06, 2023 by Austin Mam
This session will cover Verification IQ (VIQ), the next-generation, data-driven verification solution from Siemens EDA that transforms the verification process using analytics, collaboration, and traceability. VIQ utilizes machine learning to boost verification productivity, inspired by the collective feedback gathered from verification teams over many years.
-
Integrating the Value of Questa Design Solutions Into Your Continuous Integration (CI) Development Flow
Resource (Slides (.PDF)) - Jun 06, 2023 by Walter Gude
In this presentation, we will show how to automate the detection of hard-to-spot issues (e.g., CDC, FSM deadlock, combo loops, etc.) as early as possible in the design cycle with a continuous integration environment. In this flow, design quality is automatically checked at every code check-in and other scheduled intervals – which can reduce costs and drive predictable schedule execution.
-
The New Leader in Verification IP: Questa + Avery Solutions
Resource (Slides (.PDF)) - Jun 06, 2023 by Gordon Allan
Now that our acquisition of Avery Design Systems is complete, Siemens EDA is the industry leader for Verification IP. This session will describe the protocol and memory verification solutions you need for your next silicon verification project whether in Datacenter, Storage, 3DIC, Networking, Automotive, or Aerospace and Defense applications.
-
Revolutionizing RTL Design: Unveiling the Latest Updates and Roadmap of the Questa Simulation Platform
Resource (Slides (.PDF)) - Jun 06, 2023 by Moses Satyasekaran
During this session we will unveil our latest Questa Simulation platform updates, with a behind-the-scenes look at our strategic investments in expanding functionality, enhancing performance, and delivering more intuitive debug capabilities.
-
Transactional Assertions - Where representation influences thinking
Resource (Slides (.PDF)) - May 31, 2023 by Nicolae Tusinschi
In this session, you will learn about more about transactional assertions.
-
GapFree - Where all pieces come together
Resource (Slides (.PDF)) - May 31, 2023 by Nicolae Tusinschi
In this session, you will learn how OneSpin joining Siemens EDA creates a compelling combination by providing a comprehensive, best-in-class, accessible Formal solution.
-
Break the RISC-V customization barrier with Processor Formal Verification
Resource (Slides (.PDF)) - May 31, 2023 by Salaheddin Hetalani
In this session, you will learn the challenges of processor verification and how the RISC-V community recognizes the need for stronger verification.
-
When Regular CDC Is Not Enough: Reset Domain Crossing Verification and Hierarchical Data Modeling (HDM)
Resource (Slides (.PDF)) - May 31, 2023 by Kevin Campbell
In this session, you will learn more about RDC and how to accelerate your CDC with hierarchical data models.
-
A multi-dimensional view of formal verification coverage
Resource (Slides (.PDF)) - May 31, 2023 by Nicolae Tusinschi
In this session, you will learn more about formal coverage and verification coverage integration advantages.
-
Advanced CDC flows: Dynamic Metastability Modeling, Protocol Verification, Reconvergence
Resource (Slides (.PDF)) - May 31, 2023 by Kevin Campbell
In this session, you will learn more how dynamic CDC addresses static CDC limitations, and how to benefit from CDC transfer protocols and structural reconvergence verification.
-
Enhancing CDC flows with Machine Learning (ML) today, and the future roadmap of static solutions
Resource (Slides (.PDF)) - May 31, 2023 by Kevin Campbell
In this session, you will learn why Siemens EDA is investing in the power of machine learning (ML) in static & formal verification to increase efficiency and confidence.
-
osmosis Aerospace and Defense 2023
Conference - May 30, 2023 by Martin Rowe
osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of Trust and Assurance verification, Safety Critical Designs, and DO-254 compliant and other high-consequence systems.
-
Bent Tools and other Horrors From the Garden and UVM Debug – or Are You Still Debugging with $display?
Resource (Verification Horizons Blog) - May 24, 2023 by Rich Edelman
I can’t take credit for the great flowers in the garden. It’s the tremendous rain we’ve had in California this year – and anyhow, my wife is the gardener in the house. But it’s my job to do some weeding. While meditative, it is disagreeable to me. But back to UVM Debug and Visualizer.
-
Efficient Interconnect Formal Verification for Complex, Large-scale Designs
Webinar - May 17, 2023 by Nicolae Tusinschi
In this session we will show how to run design exploration for detailed connectivity specification, how to specify abstract specification that translates into machine readable specification.
-
Efficient Interconnect Formal Verification for Complex, Large-scale Designs
Resource (Slides (.PDF)) - May 17, 2023 by Nicolae Tusinschi
In this session we will show how to run design exploration for detailed connectivity specification, how to specify abstract specification that translates into machine readable specification.
-
Delivering First Silicon Success for Your Next SoC or 3DIC
Resource (Slides (.PDF)) - Apr 25, 2023 by Gordon Allan
Now that our acquisition of Avery Design Systems is complete, Siemens EDA are the new leaders in Verification IP in the industry. Our combined team of experts are ready to provide the industry with a complete protocol and memory verification portfolio, to bring independent, high-quality verification, standards-based solutions that are interoperable across all simulators, and quality which is already trusted by the most successful silicon teams across the globe.