Divergence and scheduling in functional level concurrent fault simulation | IEEE Journals & Magazine | IEEE Xplore