Synthesizing checkers for on-line verification of System-on-Chip designs | IEEE Conference Publication | IEEE Xplore