Silvano Gai Pier Luca Montessoro Matteo Sonza Reorda TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits. 46-50 1994 conf/eurodac/1994edac EDAC-ETC-EUROASIC db/conf/eurodac/eurodac1994.html#GaiMR94