Event contract for Versal gadgets