RT-level ITC'99 benchmarks and first ATPG results | IEEE Journals & Magazine | IEEE Xplore