RT-level ITC'99 benchmarks and first ATPG results