GARDA: a diagnostic ATPG for large synchronous sequential circuits | IEEE Conference Publication | IEEE Xplore