Duncan Exon Smith

According to our database, Duncan Exon Smith authored at least 3 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Debugging with dominance: On-the-fly RTL debug solution implications.

Hratch Mangassarian, Andreas G. Veneris, Duncan Exon Smith, Sean Safarpour

Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

2009

Sequential logic rectifications with approximate SPFDs.

Yu-Shen Yang, Subarna Sinha, Andreas G. Veneris, Robert K. Brayton, Duncan Exon Smith

Proceedings of the Design, Automation and Test in Europe, 2009

2007

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test.

Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Exon Smith

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007