The core of our fault model has circuit-level accuracy, while its system-level interface eases integration with any system-level simulator. Our tool accurately models circuit failures, since it was ...