Delay fault models and test generation for random logic sequential circuits | IEEE Conference Publication | IEEE Xplore