17.7.3 Sampled value functions

REPLACE

$sampled(expression [, clocking_event])

$rose( expression [, clocking_event])

$fell( expression [, clocking_event])

$stable( expression [, clocking_event])

$past( expression1 [, number_of_ticks] [, expression2] [, clocking_event])

WITH

$sampled(expression [, clocking_event])

$rose( expression [, clocking_event])

$fell( expression [, clocking_event])

$stable( expression [, clocking_event])

$changed( expression [, clocking_event])

$past( expression1 [, number_of_ticks] [, expression2] [, clocking_event])

REPLACE

Three functions are provided to detect changes in sampled values: $rose, $fell, and $stable.

WITH

Three The following functions are provided to detect changes in sampled values: $rose, $fell, and $changed, and $stable.

REPLACE

— $stable returns true if the value of the expression did not change. Otherwise, it returns false.

WITH

— $stable returns true if the value of the expression did not change. Otherwise, it returns false.

— $changed returns true if the value of the expression changed. Otherwise, it returns false.

22.9 Assertion system functions

REPLACE

Three functions are provided for assertions to detect changes in values between two adjacent clock ticks.

$rose ( expression [ , clocking_event] )

$fell (expression [ , clocking_event] )

$stable ( expression [ , clocking_event] )

WITH

Three The following functions are provided for assertions to detect changes in values between two adjacent

clock ticks.

$sampled(expression [, clocking_event])

$rose( expression [, clocking_event])

$fell( expression [, clocking_event])

$stable( expression [, clocking_event])

$changed( expression [, clocking_event])

$past( expression1 [, number_of_ticks] [, expression2] [, clocking_event])

REPLACE

Functions $sampled, $rose, $fell, $stable, and $past are discussed in 17.7.3.

WITH

Functions $sampled, $rose, $fell, $stable , $changed, and $past are discussed in 17.7.3.