check method

  1. @override
void check()
override

Performs additional checks at the end of the simulation.

This is a good place to search for any incomplete flows or compare final states with expected states.

Implementation

@override
void check() {
  if (enableEndOfTestEmptyCheck) {
    if (!fifo.empty.value.isValid) {
      logger.severe('Fifo empty signal has invalid value at end of test.');
    } else if (!fifo.empty.value.toBool()) {
      logger.severe('Fifo $fifo is not empty at the end of the test.');
    }
  }
}