Lifecycle for Airborne Hardware

   • Introduction

   • System Aspects

   • Development Assurance Levels

   • Complex vs Simple

   • Verification & Validation

   • Level A & B: Advanced Verification Methods

   • AMC 20-152A

   • Tool Assessment & Qualification Process

Design using VHDL

   • Behavioral vs RTL

   • Good practices & coding standards

   • Numeric libraries

   • SEU Mitigation

   • Fault-tolerant systems

   • Secure your desing

Verification

   • Requirements Traceability

   • Basics of Regression Testing

   • Verification Suite Design

   • Structural Coverage vs Functional Coverage

   • Assertion Checking

   • Cross-clock domain analysis

   • Physical Synthesis

Advanced Verification

   • Component Based Verification

   • OSVVM

   • UVVM  

   • Formal Methods

   • VUnit

Workshop

   • Use Case Overview

   • Use Case Requirements

   • Use Case Design

   • Behavioural Simulation

   • Static Timing Analysis

   • Verification using

          • VUnit

          • UVVM

          • OSVVM

          • PSL Assertions

   • Traceability