Inheritance and Polymorphism · SystemVerilog

Part 2 · OOP for Verification · Intermediate

4topics
4lessons

Inheritance builds specialized transactions from shared base classes. Polymorphism lets code written against a base handle drive any derived type through virtual methods and checked casts.

Lesson	What you build
extends and super	A derived AXI transaction that reuses its base through super.
Virtual dispatch	Base-handle calls that reach derived overrides at runtime.
Casting with $cast	Safe downcasts with explicit function-form and task-form handling.
Contracts and polymorphic containers	Abstract bases, interface contracts, a mixed queue, and a factory.

Check yourself A base handle points at a derived object and calls a virtual method. Which body runs?

The most-derived override. A virtual call resolves on the object's runtime type, not on the handle's declared type.

Up nextextends and super

Practice this lesson Report an error