High-level ATPG: a real topic or an academic amusement? | IEEE Conference Publication | IEEE Xplore