Test synthesis of systems-on-a-chip | IEEE Journals & Magazine | IEEE Xplore