Exploiting lookahead in parallel simulation | IEEE Journals & Magazine | IEEE Xplore