Alberto Bosio Patrick Girard Serge Pravossoudovitch Paolo Bernardi SoC Symbolic Simulation: a case study on delay fault testing. 320-325 2008 DDECS http://dx.doi.org/10.1109/DDECS.2008.4538810 conf/ddecs/2008 db/conf/ddecs/ddecs2008.html#BosioGPB08