leonardt / fault

A Python package for testing hardware (part of the magma ecosystem)
BSD 3-Clause "New" or "Revised" License
41 stars 13 forks source link

Add support for assert final #293

Closed leonardt closed 3 years ago

leonardt commented 3 years ago

This is like assert immediate, except it's only run at the end of simulation.

Also needed to update the verilator test bench to call top->final(); which is required to mark the end of simulation (and thus trigger the evaluation of final blocks such as these assertions).