Duncan Exon Smith

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

Marco Benedetti, Sean Safarpour, Andreas G. Veneris, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

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

Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Sequential logic rectifications with approximate SPFDs

Robert K. Brayton, Andreas G. Veneris, Yu-Shen Yang, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.