Concepedia

Moayad Fahim Ali

MF

4

Publications

418

Citations

4

H-Index

2005

Active since

Affiliations

University of Toronto(Current)

Moayad Fahim Ali is an author at University of Toronto specializing in computer engineering, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

2005–2005

4

Publications

4

Fault diagnosis and logic debugging using Boolean satisfiability

Alexander Smith, Andreas Veneris, Moayad Fahim Ali et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 267 citations

Fault Diagnosis, Engineering, Verification +21

Debugging sequential circuits using Boolean satisfiability

Moayad Fahim Ali, Andreas Veneris, Alexander Smith et al. · 2005 · 68 citations

Engineering, Verification, Computer-aided Verification +16

Post-verification debugging of hierarchical designs

Moayad Fahim Ali, S. Safarpour, Andreas Veneris et al. · International Conference on Computer Aided Design · 2005 · 68 citations

Engineering, Hardware Verification Language, Hierarchical Nature +21

Post-Verification Debugging of Hierarchical Designs

Moayad Fahim Ali, Sean Safarpour, Andreas Veneris et al. · Proceedings · 2005 · 15 citations

Engineering, Hierarchical Nature, Verification +20

Rows per page

1–4 of 4