Redundant functional faults reduction by saboteurs synthesis [logic verification]

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]

Authors

Franco Fummi

This author has not been identified. Look up 'Franco Fummi' in Google

Cristina Marconcini

This author has not been identified. Look up 'Cristina Marconcini' in Google

Graziano Pravadelli

This author has not been identified. Look up 'Graziano Pravadelli' in Google