An automatic test pattern generation program for large ASICs | IEEE Conference Publication | IEEE Xplore