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 (ICCAD, 2007)

Sequential logic rectifications with approximate SPFDs. - Yu-Shen Yang; Subarna Sinha; Andreas G. Veneris; Robert K. Brayton; Duncan Exon Smith (DATE, 2009)

Debugging with dominance: On-the-fly RTL debug solution implications. - Hratch Mangassarian; Andreas G. Veneris; Duncan Exon Smith; Sean Safarpour (ICCAD, 2011)