Franco Fummi, Cristina Marconcini, Graziano Pravadelli. Redundant functional faults reduction by saboteurs synthesis [logic verification]. In Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003. pages 108-113, IEEE Computer Society, 2003. [doi]
Abstract is missing.