Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

September 2025

• 

  Automating Clock-Domain Crossing Verification for DO-254 (and Other Safety-Critical) Designs

  Functional Safety Sep 10, 2025 Kurt Takara Paper

May 2023

• Advanced CDC flows: Dynamic Metastability Modeling, Protocol Verification, Reconvergence

  Clock-Domain Crossing May 31, 2023 Kevin Campbell pdf

May 2020

• Automating Clock-Domain Crossing Verification for DO-254 (and Other Safety-Critical) Designs

  Functional Safety May 15, 2020 Kurt Takara pdf