dblp.uni-trier.dewww.uni-trier.de

Ashraf Salem

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEMona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem: Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA 2008: 89-93
10EEMohamed 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
2007
9EEMona 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
8EEM. H. El-Malaki, M. Watheq El-Kharashi, S. Hammad, Ashraf Salem, A. 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)
2006
7EEMona Safar, M. Watheq El-Kharashi, Ashraf Salem: FPGA-Based SAT Solver. CCECE 2006: 1901-1904
2005
6EEMona Safar, M. Watheq El-Kharashi, Ashraf Salem: FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME 2005: 384-387
5EEMona Safar, M. Watheq El-Kharashi, Ashraf Salem: An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC 2005: 419-424
2004
4EEAshraf Salem: Formal Verification of Digital Circuits. IWSOC 2004: 15
3EEM. Watheq El-Kharashi, M. H. El-Malaki, S. Hammad, Ashraf Salem, A. Wahdan: Towards Automating Hardware/Software Co-Design. IWSOC 2004: 189-192
2003
2EEAshraf Salem: Formal Semantics of Synchronous SystemC. DATE 2003: 10376-10381
2001
1EEHazem Hamed, Ashraf Salem: UML-L: An UML Based Design Description Language. AICCSA 2001: 438-

Coauthor Index

1Hassan Shehata Bedor [10]
2M. Watheq El-Kharashi [3] [5] [6] [7] [8] [9] [10] [11]
3M. H. El-Malaki [3] [8]
4Hazem Hamed [1]
5S. Hammad [3] [8]
6Mohamed M. Sabry [10]
7Mona Safar [5] [6] [7] [9] [11]
8Mohamed Shalan [9] [11]
9A. Wahdan [3] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)