Mohamed A. Nadeem

According to our database, Mohamed A. Nadeem authored at least 12 papers between 2022 and 2026.

Collaborative distances:

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

2026

Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., May, 2026

Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity.

Mohamed A. Nadeem, Luca Müller, Chandan Kumar Jha, Rolf Drechsler

ACM Trans. Design Autom. Electr. Syst., January, 2026

PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems, 2026

Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits.

Luca Müller, Mohamed A. Nadeem, Rolf Drechsler

Proceedings of the 27th International Symposium on Quality Electronic Design, 2026

Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., March, 2025

Polynomial Formal Verification of Sequential Circuits Using Weighted-AIGs.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference, 2025

Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle.

Muhammad Hassan, Mohamed A. Nadeem, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2025

2024

Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures.

Mohamed A. Nadeem, Rolf Drechsler

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the IEEE European Test Symposium, 2024

2023

Polynomial Formal Verification exploiting Constant Cutwidth.

Mohamed A. Nadeem, Jan Kleinekathöfer, Rolf Drechsler

Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023

2022

Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach.

Johannes Klaus Fichte, Markus Hecher, Mohamed A. Nadeem

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022