Fault simulation with parallel exact critical path tracing in multiple core environmentGorev, Maksim; Ubar, Raimund-Johannes; Devadze, Sergei2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) : proceedings2015 / p. 1180-1185 : ill