Increased SoC complexity means that verification flows must now capture both the intent and the integrity of a design.

Identifying inter-domain leakage is a two-stage process.