Improving topological ATPG with symbolic techniques | IEEE Conference Publication | IEEE Xplore