Initialization of sequential circuits and its application to ATPG | IEEE Conference Publication | IEEE Xplore