An asynchronous algorithm for sequential circuit test generation on a network of workstations | IEEE Conference Publication | IEEE Xplore