Test generation for ultra-large circuits using ATPG constraints and test-pattern templates | IEEE Conference Publication | IEEE Xplore