In reply to SAKET@ KUMAR:
How can we check whether Ton and Toff of the clock are as desired (using SVA)?