Duncan Exon Smith

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Hratch Mangassarian, Andreas G. Veneris, Duncan Exon Smith, Sean Safarpour
Debugging with dominance: On-the-fly RTL debug solution implications. ICCAD (2011)
Yu-Shen Yang, Subarna Sinha, Andreas G. Veneris, Robert K. Brayton, Duncan Exon Smith
Sequential logic rectifications with approximate SPFDs. DATE (2009)
Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Exon Smith
A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. ICCAD (2007)