High-level observability for effective high-level ATPG | IEEE Conference Publication | IEEE Xplore