Moayad Fahim Ali

Post-verification debugging of hierarchical designs

Rolf Drechsler, Moayad Fahim Ali, Sean Safarpour, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

Fault Diagnosis and Logic Debugging

Moayad Fahim Ali, Andreas Veneris, Anastasios Viglas, 2005 .

Fault diagnosis and logic debugging using Boolean satisfiability

Moayad Fahim Ali, Andreas G. Veneris, Anastasios Viglas, 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Post-verification debugging of hierarchical designs

Rolf Drechsler, Moayad Fahim Ali, Sean Safarpour, 2005, ICCAD 2005.

Debugging sequential circuits using Boolean satisfiability

Rolf Drechsler, Moayad Fahim Ali, Sean Safarpour, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..