Moayad Fahim Ali

According to our database, Moayad Fahim Ali authored at least 3 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

Fault diagnosis and logic debugging using Boolean satisfiability.

Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Post-Verification Debugging of Hierarchical Designs.

Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

2004

Debugging Sequential Circuits Using Boolean Satisfiability.

Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004