Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1069

Verification of connectivity at top-level

$
0
0

How do you verify the connectivity at the top-level? How to make sure a user has not messed up a[m:n] with a[n:m]? Do you generally use simulation and toggle coverage to verify this or formal?


Viewing all articles
Browse latest Browse all 1069

Trending Articles