Assertions serve as executable specifications describing the required and forbidden behavior of the design. The assertions are checked in every simulation run by binding assertion checkers/monitors to ...