Exploitation of periodicity in logic simulation of synchronous circuits | IEEE Conference Publication | IEEE Xplore