Moayad Fahim Ali

Publication Activity (10 Years)

Years Active: 2004-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, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler
Post-Verification Debugging of Hierarchical Designs. MTV (2005)
Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler
Post-verification debugging of hierarchical designs. ICCAD (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)