SPIN-TEST: automatic test pattern generation for speed-independent circuits | IEEE Conference Publication | IEEE Xplore