← All tutorials

Advanced SVA

Sequences and properties in depth: implication operators, protocol-compliance assertions, and bind.

  1. 01Beyond |-> and ##[m:n]: Where This Track Picks UpSV ch15 already taught immediate assertions, property/sequence, |-> implication, and ##[m:n] range delay. This chapter finds the exact edge of that toolkit -- a real requirement it genuinely can't express -- and uses it to lay out everything the rest of this track fills in.
  2. 02Why Assertions, Not If-Statements: The Case for SVABefore learning any more SVA syntax, a fair comparison: ch15's req_ack_p property against a hand-rolled always_ff checker for the identical rule -- run in Icarus, not just argued about -- weighing real advantages against real costs.
  3. 03Sequence Operators in DepthFixed-cycle delay, both repetition families, throughout, within, first_match, and sequence-level and/or/intersect -- the vocabulary chapter 1 promised, closing its exact req/ack gap along the way and building toward axil_regfile's real AW/W independence rule.
  4. 04Properties and Implication|-> vs |=>, disable iff, and property-level not/and/or -- formalizing axil_regfile's VALID-must-not-wait-for-READY rule as an actual property for the first time on this site, previously only stated in prose.
  5. 05Protocol-Compliance Assertions: Checking What Was Never TestedThe payoff chapter: three properties against axil_regfile's real, still-open gaps -- AW/W independence, the A7 single-outstanding-transaction restriction, and the exact same-edge COUNT/irq relationship uvm-advanced ch4's race depended on -- built from everything chapters 1-4 covered, not invented scenarios.
  6. 06bind: Checking a DUT Without Modifying ItHow bind actually works -- placing a checker module's instance inside the target module's own scope, from a file that never touches the DUT's source -- built around wiring chapter 5's three real properties into axil_regfile from outside.
  7. 07Assertion Coverage, and Closing Back to Coveragecover property and expect, then the track's actual close: A5's three real, still-untested arrival-order scenarios become a coverage item built from chapter 5's own properties, revisiting Test-Planning ch5's four-link traceability chain with assertion coverage as its fifth metric.