Synchro-tokens: a deterministic GALS methodology for chip-level debug and test | IEEE Journals & Magazine | IEEE Xplore