Inserting scan at the behavioral level | IEEE Journals & Magazine | IEEE Xplore