Circuit Profiling Mechanisms for High-Level ATPG | IEEE Conference Publication | IEEE Xplore