Ashraf Salem

Karim Yehia, Mona Safar, Hassan A. Youness, Mohamed AbdElSalam, Ashraf Salem: A novel approach for system level synthesis of multi-core system architectures from TPG models. AICCSA 2011: 268-275

Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem: A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE 2011: 1243-1248

Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed AbdElSalam: TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. MTV 2011: 1-4

Hassan A. Youness, Abdel-Moniem Wahdan, Mohammed Hassan, Ashraf Salem, Mohammed Moness, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai: Efficient partitioning technique on multiple cores based on optimal scheduling and mapping algorithm. ISCAS 2010: 3729-3732

Hassan A. Youness, Keishi Sakanushi, Yoshinori Takeuchi, Ashraf Salem, Abdel-Moneim Wahdan, Masaharu Imai: Optimal Scheme for Search State Space and Scheduling on Multiprocessor Systems. IEICE Transactions 92-A(4): 1088-1095 (2009)

Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem: A Reconfigurable Five-Stage Pipelined SAT Solver. MTV 2009: 95-100

Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem: Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA 2008: 89-93

Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem: TLM-Based Verification of a Combined Switching Networks-on-Chip Router. FDL 2008: 255-256

M. H. El-Malaki, M. Watheq El-Kharashi, Sherif Hammad, Ashraf Salem, Abdel-Moneim Wahdan: A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems. Journal of Circuits, Systems, and Computers 16(6): 961-979 (2007)

Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem: Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. DATE 2007: 153-158

Mona Safar, M. Watheq El-Kharashi, Ashraf Salem: FPGA-Based SAT Solver. CCECE 2006: 1901-1904

Mona Safar, M. Watheq El-Kharashi, Ashraf Salem: FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME 2005: 384-387

Mona Safar, M. Watheq El-Kharashi, Ashraf Salem: An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC 2005: 419-424

Ashraf Salem: Formal Verification of Digital Circuits. IWSOC 2004: 15

M. Watheq El-Kharashi, M. H. El-Malaki, Sherif Hammad, Ashraf Salem, Abdel-Moneim Wahdan: Towards Automating Hardware/Software Co-Design. IWSOC 2004: 189-192

Ashraf Salem: Formal Semantics of Synchronous SystemC. DATE 2003: 10376-10381

Hazem Hamed, Ashraf Salem: UML-L: An UML Based Design Description Language. AICCSA 2001: 438-