Interface Protocols · All levels

Protocol Verification & Compliance

VIP architecture, scoreboards, compliance suites, assertions, coverage, waveform-first debug, and signoff-quality protocol closure.

Section goal

VIP architecture, scoreboards, compliance suites, assertions, coverage, waveform-first debug, and signoff-quality protocol closure.

How to study this section

  1. Start with the topic hub to learn the contract.

  2. Use mechanism and reports pages to connect rules to metrics.

  3. Use debug and worked-example pages for interview and on-call practice.

  4. Close with checklist and PPA impact before signing any change.

Topics

  1. vip-and-agent-architecture/ — VIP & Agent Architecture

  2. scoreboard-and-checker-strategy/ — Scoreboard & Checker Strategy

  3. compliance-and-coverage-plan/ — Compliance & Coverage Plan

  4. protocol-waveform-debug/ — Protocol Waveform Debug

Related topics

Protocol deep dive

Verification closes the gap between 'works in directed test' and 'legal under all stressed traffic'.

Concept diagram

diagram
VERIFICATION CLOSURE LOOP

spec clause -> test -> assertion -> coverage -> waiver -> signoff
                  ^                           |
                  +--------- gap found --------+

Metric graph

diagram
COVERAGE vs ESCAPE RATE

escapes
  |*
  | *
  |  *
  |   **  <- knee: more random helps
  |     ****
  +----------------> constrained-random depth

Metrics and artifacts to collect

  • compliance pass rate

  • coverage closure

  • scoreboard mismatch rate

  • assertion fire count

  • waiver log

Mini case study

Block passed VIP compliance but chip failed: system test omitted cross-master ID reuse through a bridge. Scoreboard key did not include upstream port ID.

Debug branches

  • If VIP pass but silicon fail, check integration assumptions.

  • If scoreboard noisy, fix key (ID+port+addr).

  • If coverage plateau, add compliance gap analysis not more repeats.

Senior review question

Ask: what is the first transaction that deviates, and which spec rule does it test?