An optimizing compiler for out-of-order parallel ESL simulation exploiting instance isolation | IEEE Conference Publication | IEEE Xplore