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