—
Cycle-Based
Functionality: Clocking domains and cycle-based attributes that help reduce
development, ease maintainability, and promote reusability.
— Cycle-based signal drives
and samples
— Synchronous samples
— Race-free program context
— Assertion
mechanism for verifying design intent and functional coverage intent.
— Property and
sequence declarations
— Assertions and Coverage statements with action blocks.