Mohamed A. Nadeem

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

Collaborative distances:

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

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