• Skip to main content

User2User - Munich

Tuesday, May 13th-8:00 AM PDT

Check out the User2User Europe 2025 conference session catalog and plan the sessions you'll attend.

Register Now!

User2User - Santa Clara

Tuesday, May 20th-8:00 AM PDT

Check out the User2User North America 2025 conference session catalog and plan the sessions you'll attend.

Register Now!

Productivity Webinar

Wednesday, May 21st-8:00 AM PDT

Solving the Semiconductor Verification Crisis: From Problem to Productivity

Register Now!

Traceability Webinar

Wednesday, May 28th-8:00 AM PDT

Streamlining Requirements Traceability Using Questa Verification IQ Testplan Author

Register Now!

Verification Academy Live

Tuesday, Jun 03rd-6:30 AM PDT

Hudson, MA | American Heritage Museum

Register Now!

Verification Academy Live

Thursday, Jun 05th-7:30 AM PDT

Huntsville, AL | Siemens Training Center

Register Now!
SIEMENS Verification Academy
  • Log In
  • Register
  • 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.

    • UVM
    • Simulation & Debug
    • Methodology & Standards
    • Questa Design Solutions
    • Verification Management & IP
    UVM
    • UVM Connect
    • UVM Framework
    • SystemVerilog
    Simulation & Debug
    • Simulation
    • Debug
    Methodology & Standards
    • Coverage
    • FPGA Verification
    • Functional Safety
    • Low Power
    Questa Design Solutions
    • Clock-Domain Crossing
    • Formal Verification
    • Reset-Domain Crossing
    Verification Management & IP
    • Verification IQ
    • Verification IP
    • Verification Planning
    All Topics
  • 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
    • Guidelines & Migration
    • Class Reference
    • Coverage
    UVM
    • UVM Basics
    • UVM Testbench
    • UVM Configuring a Test Environment
    • UVM Analysis Components & Techniques
    • UVM Sequences
    • UVM Messaging System
    • UVM Stimulus Techniques
    • UVM Register Abstraction Layer
    • UVM Debugging
    • UVM Connect
    Guidelines & Migration
    • SystemVerilog Coding
    • SystemVerilog Performance
    • UVM Coding
    • UVM Performance
    • UVM 1800.2
    • UVM 1.2
    • OVM to UVM
    • Deployment
    • Code Examples
    Class Reference
    • UVM 1.2
    • UVM 1.1d
    • UVM 1.1c
    • UVM 1.1b
    • UVM 1.1a
    Coverage
    • Coverage Metrics and Process (Theory)
    • Coverage Examples (Practice)
    • Appendices
    All Cookbooks
  • All Content

    Browse all content in the Verification Academy

    • By Type
    • By Video
    • By Tag
    • By Audience
    By Type
    • Article
    • Cookbook
    • Resource
    • Track
    By Video
    • Demo
    • Lesson
    • Seminar
    • Session
    • Webinar
    By Tag
    • SystemVerilog
    • AI/ML
    • UVMF
    • Testbench
    • Industry Trends
    By Audience
    • Beginner
    • Intermediate
    • Advanced
    All Content
  • Forums

    • Forums
    • By Tags
    • By Topic Status
    Forums
    • UVM
    • SystemVerilog
    • Coverage
    By Tags
    • Assertion
    • SystemVerilog
    • Constraint
    • Sequence
    • RAL
    By Topic Status
    • By Latest
    • By Unsolved
    • By Solved
    All Forums
  • More

    • Verification Academy
    • Siemens EDA
    • Siemens Learning Center
    Verification Academy
    • VA Live - Upcoming Webinars
    • VA Live - On-Demand
    • Verification Horizons Blog
    • About Us
    • Contact Us
    Siemens EDA
    • Events & Webinars
    • VA Live 2025
    • osmosis
    • User2User 2025
    • Verification Jobs @ Siemens
    Siemens Learning Center
    • Learning Memberships
    • Learning Labs
    • On-Demand Training
    • Instructor Led
    • Badging and Certification
    VA Live - Upcoming Webinars
    • Verification IQ
    • Verification Planning
    VA Live - On-Demand
    • Clock-Domain Crossing
    • Debug
    • Formal Verification
    • FPGA Verification
    • Functional Safety
    • Questa Design Solutions
    • Reset-Domain Crossing
    • SystemVerilog
    • Verification IP
    • Verification IQ
    Verification Horizons Blog
    • Closing the Gap in Software Skills for Verification Engineers
    • Accellera announces fee-free availability of IEEE Std. 1801™-2024
    • Got Coverage?
    • Update from the Standards World: Accellera Approves UVM-MS 1.0 Standard
    Events & Webinars
    • Siemens EDA at DAC 2025
    • PCI-SIG Developers Conference 2025
    VA Live 2025
    • Hudson, MA | June 3rd
    • Huntsville, AL | June 5th
    • Post Event Archive
    osmosis
    • osmosis 2025
    • osmosis 2024
    • osmosis 2023
    • osmosis 2022
    User2User 2025
    • North America
    • Europe
    • Library Archive
    Verification IQ
    • Smart Debug: Accelerate Root Cause Analysis and Reduce Debug Turnaround Time with Questa Verification IQ Regression Navigator
    • Smart Regression: Optimize Regression Efficiency Using Questa Verification IQ Regression Navigator
    • Boost Your Verification Productivity with Questa Verification IQ
    • Questa Verification IQ: Boost Verification Predictability and Efficiency with Big Data
    Verification Planning
    • Solving the Semiconductor Verification Crisis: From Problem to Productivity
    Clock-Domain Crossing
    • CDC Philosophy: The Existential Questions of Constraints, Waivers, and Truth
    • CDC Verification: Beyond Structural Analysis
    • Preventing Glitch Nightmares on CDC Paths
    • A Methodology for Comprehensive CDC Analysis
    Debug
    • Faster Debug of Complex Testbenches using Visualizer
    • Win the Tick to Trade Race by Root Causing Bugs Faster with QuestaSim
    • Prevent Performance Problems with Prompt RTL Profiling
    • Accelerate Development Using Advanced Debugging Approaches
    Formal Verification
    • Streamlining FPU Verification with an Alternative to C-reference Model Approaches
    • Explore How to Protect Against Data Corruption with Formal Security Verification
    • Questa Formal Verification IP AMBA: Achieve Protocol Compliance in Designs
    • Functional Verification Workflow for Trusted and Assured Microelectronics
    FPGA Verification
    • Securing your FPGA Design from RTL through to the Bitstream
    • Improving FPGA Safety and Security Compliance: FPGA Equivalence Checking from RTL to the Bitstream
    • Bringing Model-based Systems Engineering to IC and FPGA Design
    • ModelSim to Questa - Productivity Features
    Functional Safety
    • Enhancing Defect Coverage in DFT
    • Safety Analysis for Automotive Chips Based on ISO 26262
    • An End-to-End Functional Safety Solution for Automotive ICs Based on ISO 26262
    • Union of SoC Design & Functional Safety FlowUnion of SoC Design & Functional Safety Flow
    Questa Design Solutions
    • Continuous Integration (CI) Driving Efficient Program Execution
    • Practical Flows for Continuous Integration: Making The Most of Your EDA Tools
    • Questa Design Solutions as a Sleep Aid
    • Questa Lint vs Formal AutoCheck
    Reset-Domain Crossing
    • Questa RDC Assist – Improving Designer Productivity and Enabling Faster RDC Verification Closure with Machine Learning
    • New Advanced Techniques for Reset Domain Crossing (RDC) Analysis
    • RDC Overview & Questa RDC Methodology
    • Handling Reset Domain Crossing for Designs with Set-Reset Flops
    SystemVerilog
    • Introduction to SystemVerilog Assertions
    • Easy Test Writing with a Proxy-driven Testbench
    • Making Your DPI-C Interface a Fast River of Data
    • The Life of a SystemVerilog Variable
    Verification IP
    • Breaking Barriers: Ethernet 1.6T, Infiniband, UALink, and UEC Verification for Next-Gen Connectivity
    • PCIe Gen7 Verification with Siemens Avery Verification IP
    • Verifying the Next Generation High Bandwidth Memory Controllers for AI and HPC Applications
    • The Future of Multi-Die System Verification with UCIe

Breadcrumbs

  1. Home
  2. Topics
  3. Functional Safety

Aerospace and Defense Verification Tech Day

Join Siemens EDA as we share an engineering update on the methodologies, technologies, and solutions for the ASIC, FPGA, and systems verification challenges unique to today’s aerospace and defense industry. Design and verification engineers and managers serving the aerospace and defense industry won’t want to miss this deep dive into the future of digital verification.

  • Functional Safety

Joe Hupcey

Last Updated May 2022
  • Functional Simulation
  • Aerospace
  • Mil/Aero
Begin Track

Track Navigation

Jump to item

  • Aerospace and Defense Verification Tech Day
  • 1. Siemens and the US Government - Mitigating Microelectronics Development Challenges
  • 2. Bringing Model-based Systems Engineering to IC and FPGA Design
  • 3. From Model to Implementation with High-Level Synthesis
  • 4. Accelerate Learning Curves and Achieve Program Goals Efficiently
  • 5. Create a UVM Testbench in a Day Using a Rapid, Repeatable Approach
  • 6. How Automation Enables any RTL D&V Engineer to Run Exhaustive Formal Verification
  • 7. Accelerate Development Using Advanced Debugging Approaches
  • 8. Collaborative Verification Management & Coverage Analysis
  • 9. Securing the Electronics Development Chain with IC Integrity Solutions
  • 10. System Level SoC Verification and Validation Using Emulation and Prototype Platforms
  • 11. Trust but Verify Your IP with Solido Crosscheck
  • Sessions

    • Siemens and the US Government - Mitigating Microelectronics Development Challenges

      In this session, you will learn how Siemens is a full solution provider to the fabless design community, including SoCs and Heterogeneous Integration from concept through GDSII sign off, through to the manufactured wafer and product life cycle.

      Track May 10, 2022 by Rich Powlowsky

      • Functional Safety

    • Bringing Model-based Systems Engineering to IC and FPGA Design | Subject Matter Expert - Ray Salemi  | Aerospace and Defense Verification Tech Day

      Bringing Model-based Systems Engineering to IC and FPGA Design

      In this session, you will learn how international competition has forced the change, how model-based design will change the way the Defense Industrial Base works with the DoD, and what all this means for IC verification.

      Track May 10, 2022 by Ray Salemi

      • FPGA Verification

    • From Model to Implementation with High-Level Synthesis

      In this session, you will learn how HLS can enable system verification in an MBSE flow, and how HLS can mitigate supply chain risks.

      Track May 10, 2022 by Russell Klein

      • High-Level Synthesis

    • Accelerate Learning Curves and Achieve Program Goals Efficiently

      In this session, you will learn how Questa Design Solutions accelerates development learning and improves and instruments development efficiency by providing design quality insight early, then monitoring throughout development.

      Track May 10, 2022 by Chris Giles

      • QDS

    • Create a UVM Testbench in a Day Using a Rapid, Repeatable Approach

      In this session, you'll learn how the UVM Framework and Questa Verification IP enables testbench creation in a day so the team can focus on creating tests and closing coverage.

      Track May 10, 2022 by Bob Oden

      • UVMF

    • How Automation Enables any RTL D&V Engineer to Run Exhaustive Formal Verification

      In this session, you will learn about the unique capabilities in Siemens EDA's formal solutions, then share a case study on how automated formal "unreachability" analysis can accelerate overall verification coverage closure via integration with QuestaSim.

      Track May 10, 2022 by Joe Hupcey

      • Formal Verification

    • Accelerate Development Using Advanced Debugging Approaches

      In this session, you will learn how Visualizer Debug Environment provides a high-performance, high-capacity, tightly integrated debug environment for Simulation and Emulation.

      Track May 10, 2022 by Rich Edelman

      • Debug

    • Collaborative Verification Management & Coverage Analysis

      In this session, you will learn of the applications which comprise VIQ, which help manage all verification tasks including test plan creation, coverage analysis, regression management, and metric trending.

      Track May 10, 2022 by Darron May

      • Verification Management

    • Securing the Electronics Development Chain with IC Integrity Solutions

      In this session we will introduce apps that provide an automated assessment platform, perform processor verification, and offer completeness checking for this very complex IC integrity challenge.

      Track May 10, 2022 by John Hallman

      • Formal Verification

    • System Level SoC Verification and Validation Using Emulation and Prototype Platforms

      This session covers the Veloce Strato+ emulation platform, delivering fast execution speed, full debug visibility, flexible use models, and ease-of-use in models that span the entire range of needs throughout the life of the chip/SoC development process.

      Track May 10, 2022 by Vijay Chobisa

      • Acceleration

    • Trust but Verify Your IP with Solido Crosscheck

      This session will show Solido Crosscheck as the one-stop-shop solution for IP validation and QA accountability among IP designers and IP integrators.

      Track May 10, 2022 by Felipe Schneider

      • Analog Mixed-Signal

  • Overview

    Join Siemens EDA as we share an engineering update on the methodologies, technologies, and solutions for the ASIC, FPGA, and systems verification challenges unique to today’s aerospace and defense industry. Design and verification engineers and managers serving the aerospace and defense industry won’t want to miss this deep dive into the future of digital verification.

    Key topics covered include:

    • Model-based systems engineering (MBSE)
    • Supply chain resilience
    • Trust and security standards
    • Developer productivity
    • Microelectronics Quantifiable Assurance (MQA)
SIEMENS Siemens Digital Industries Software
Portfolio
  • Cloud
  • Design, Manufacturing and PLM Software
  • Electronic Design Automation
  • Insights Hub
  • Mendix
How to Buy
  • Buying with Siemens
  • Buy Online
  • Partners
  • Academics
  • Renewals
  • Refund Policy
Siemens
  • About Us
  • Careers
  • Community
  • Events
  • Leadership
  • News and Press
  • Trust Center
Contact
  • VA - Contact Us
  • HLS - Contact Us
  • PLM - Contact Us
  • EDA - Contact Us
  • Worldwide Offices
  • Support Center
  • Provide Feedback
  • Report Piracy

© Siemens 2025

  • Terms of Use
  • Privacy Policy
  • Cookie Statement
  • DMCA
  • Whistleblowing