2.5 Debugging: Assertions Viewer Active-HDL’s Assertion Viewer allows the user to view two types of PSL and SystemVerilog objects during simulation: assert statements and cover statements. The viewer provides useful statistics about these objects in an easily accessible manner. This video provides an overview on how to access and use the Assertion Viewer window.