Skip to content
sept 28, 2021

Formal 101 – Exhaustive Scoreboarding and Data Integrity Verification Made Easy

Verifying the correct passage of data through a DUT in constrained-random simulation is easy to do for basic I/O cases – data loss, obvious corruption, and 1-1 data passage. But what about verifying out-of-order cases?… Formal 101 – Exhaustive Scoreboarding and Data Integrity Verification Made Easy