Compliance & Coverage Plan is about converting a protocol rule into a measurable silicon contract. compliance maps spec requirements to tests, assertions, coverage bins, exclusions, and signed waivers. The hard part is never the happy-path diagram; it is proving, under real traffic, which layer and which transaction broke the contract.
When spec feature coverage, compliance pass rate, waiver count moves, can you identify the transaction, the protocol layer, the responsible owner, and the smallest experiment that proves the root cause?
PROTOCOL STACK VIEW — Compliance & Coverage Plan
software / firmware intent
|
v
transaction semantics: address, ID, length, attributes, ordering
|
v
link / channel behavior: handshake, credits, backpressure, retries
|
v
physical or timing layer: clocking, reset, pins, lanes, PHY
|
v
observability: waveform, VIP transaction, counter, analyzer trace
Debug rule: never jump layers without carrying the transaction identity with you.Start every study session by drawing the behavior before reading signals. The diagrams below are the mental models to reproduce on a whiteboard.
COMPLIANCE TRACE MATRIX
spec clause ──> test(s) ──> assertion(s) ──> coverage bin ──> status
4.2.1 t_axi_07 a_resp_ok cov_resp PASS
4.3.5 t_axi_12 a_order cov_order WAIVED (id=W3)
4.4.0 (none) (none) (none) GAP <- find these
A gap row is the most valuable output of the plan.SEQUENCE — Compliance & Coverage Plan
initiator interconnect/PHY target
| request (id) -------> | |
| | forward ----------> |
| | | work
| | <---- response ---- |
| <----- complete ------ | |
|
metric captured here: spec feature coverage, compliance pass rate, waiver countLAYER RESPONSIBILITY — Compliance & Coverage Plan
layer owns common failure
----------- -------------------------- -----------------------
software intent, ordering needs wrong assumption
transaction id/addr/len/attributes ordering / outstanding
link/channel handshake, credits, retry backpressure / deadlock
physical clock/reset/lanes/PHY timing / training / SI
observability waveform/log/counter missing evidencePrimary metric: spec feature coverage, compliance pass rate, waiver count.
Primary artifact: requirement trace matrix, coverage dashboard, waiver log.
Owners to bring into review: verification lead, IP owner, signoff owner.
Spec clause or requirement ID for every claim.
One traffic replay that fails and one reduced sequence that isolates the rule.
OWNERSHIP MAP — Compliance & Coverage Plan
evidence type owner who reads it
----------------- ---------------------------
waveform/RTL verification lead
spec/VIP IP owner
firmware/system signoff owner
Rule: every metric must have a named owner before a review starts.Each topic is taught across mechanism, inputs/outputs, reports, debug, worked example, pitfalls, interview, checklist, theory, design space, expanded case study, walkthrough, comparison matrix, software view, and silicon PPA impact.
Carry transaction identity across waveform, log, counter, and spec view.
Separate protocol violation, integration configuration, and performance bottleneck before proposing a fix.
Draw the diagram first; the waveform should confirm the picture, not replace it.
Debugging only one channel or layer.
Treating a VIP error message as root cause instead of evidence.
Quoting peak interface bandwidth without payload efficiency.
Verification closes the gap between 'works in directed test' and 'legal under all stressed traffic'.
VERIFICATION CLOSURE LOOP
spec clause -> test -> assertion -> coverage -> waiver -> signoff
^ |
+--------- gap found --------+COVERAGE vs ESCAPE RATE
escapes
|*
| *
| *
| ** <- knee: more random helps
| ****
+----------------> constrained-random depthcompliance pass rate
coverage closure
scoreboard mismatch rate
assertion fire count
waiver log
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.
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.
Ask: what is the first transaction that deviates, and which spec rule does it test?
Connect every protocol claim to a transaction identity and measurable metric.
Store the artifact (waveform, log, counter) next to every signoff decision.
Debugging timeouts without finding the first bad transaction.
Quoting peak bus width without payload efficiency and retry overhead.
Treating VIP compliance as a substitute for system integration replay.