SLOCOP-II: a versatile timing verification system for MOSVLSI | IEEE Conference Publication | IEEE Xplore