Mohammed Abderehman

According to our database, Mohammed Abderehman authored at least 4 papers between 2021 and 2022.

Collaborative distances:

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

2022

FastSim: A Fast Simulation Framework for High-Level Synthesis.

Mohammed Abderehman, Jayprakash Patidar, Jay H. Oza, Yom Nigam, T. M. Abdul Khader, Chandan Karfa

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

BLAST: Belling the Black-Hat High-Level Synthesis Tool.

Mohammed Abderehman, Rupak Gupta, Theegala Rakesh Reddy, Chandan Karfa

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

DEEQ: Data-driven End-to-End EQuivalence Checking of High-level Synthesis.

Mohammed Abderehman, Theegala Rakesh Reddy, Chandan Karfa

Proceedings of the 23rd International Symposium on Quality Electronic Design, 2022

2021

Reverse Engineering Register to Variable Mapping in High-level Synthesis.

Mohammed Abderehman, Rupak Gupta, Chandan Karfa

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021