Presents the use of ABV (assertion-based verification) in Riviera. The behavior of the system (traffic lights control) is monitored with assertions coded in the OVA language. The movie shows assertion flow and assertion debugging tools available in Riviera-PRO (exactly the same flow can also be used with PSL or SystemVerilog assertions).