Mohammad Fawaz

Orcid: 0000-0001-6762-4780

According to our database1, Mohammad Fawaz authored at least 13 papers between 2000 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Fast Vectorless RLC Grid Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Parallel Simulation-Based Verification of RC Power Grids.
Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Power grid verification under transient constraints.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

2016
Accurate verification of RC power grids.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Fast simulation-based verification of RC power grids.
Proceedings of the 2016 IEEE Canadian Conference on Electrical and Computer Engineering, 2016

2015
Redundancy-Aware Power Grid Electromigration Checking Under Workload Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

2013
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
CoRR, 2013

A vectorless framework for power grid electromigration checking.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Redundancy-aware electromigration checking for mesh power grids.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2012
Adaptive 2D to 3D image conversion using a hybrid Graph Cuts and Random Walks approach.
Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

2010
Transient current and delay analysis for resistive-open defects in future 16 nm CMOS circuits.
Proceedings of the 17th IEEE International Conference on Electronics, 2010

Testing techniques for resistive-open defects in future CMOS technologies.
Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2010

2000
FPGA-based Internet protocol firewall chip.
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000


  Loading...