Alexander Smith

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas
Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (10) (2005)
Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir
Debugging sequential circuits using Boolean satisfiability. ICCAD (2004)
Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith
Debugging Sequential Circuits Using Boolean Satisfiability. MTV (2004)
Alexander Smith, Andreas G. Veneris, Anastasios Viglas
Design diagnosis using Boolean satisfiability. ASP-DAC (2004)
Andreas G. Veneris, Alexander Smith, Magdy S. Abadir
Logic verification based on diagnosis techniques. ASP-DAC (2003)