Efficient sequential test generation based on logic simulation | IEEE Journals & Magazine | IEEE Xplore