LOCSTEP: a logic-simulation-based test generation procedure | IEEE Journals & Magazine | IEEE Xplore