Benchmarking DAT with the ITC'99 ATPG Benchmarks | IEEE Conference Publication | IEEE Xplore