A parallelism analyzer for conservative parallel simulation | IEEE Journals & Magazine | IEEE Xplore