Wahba, Ayman

ayman.wahba@eng.asu.edu.eg
Department of Computer and Systems Engineering - Engineering
Interests: High Performance Digital IC Design and Test, Formal Verification Techniques, Diagnosis of Design Errors, High Level Synthesis, Design and Test of Computers, and Embedded Systems.,
Internal ID: rp12493
Network Lab View Statistics Email Alert RSS Feed

Profile

Loading... 2 0 20 0 false
 
Full Name
Wahba, Ayman
 
Affiliation (Department)
 
ORCID
 
Scopus Author ID
 
WOS ID
 
Biography
Dr. Ayman Wahba is a Professor at the CSE department, Faculty of Engineering, Ain Shams University. He got his B.Sc. and M.Sc. Degrees in Electrical Engineering from the same university in 1988 and 1991 respectively. He then moved to France where he got his DEA (Diplôme d’Études Approfondies) degree from the INPG (Institut National Polytechnique de Grenoble) in 1993, and then he got his Ph.D. degree in Computer Engineering from the TIMA laboratory, Joseph Fourier University in 1997. His research interests include High Performance Digital IC Design and Test, Formal Verification Techniques, Diagnosis of Design Errors, High Level Synthesis, Design and Test of Computers, and Embedded Systems.

Publications

Results 41-50 of 50 (Search time: 0.0 seconds).

Issue DateTitleAuthor(s)
411-Jan-2001On the use of don't cares during symbolic reachability analysisReda, S.; Wahba, Ayman ; Salem, A.; Borrione, D.; Ghonaimy, M.
421-Dec-2000BDD/AOG - Based algorithm for multiple error rectification in combinational circuitsWahba, Ayman 
431-Dec-2000Iterated calculation of global implications and recursive learning in combinational equivalence checkingReda, Sherief; Wahba, Ayman ; Salem, Ashraf ; Ghonaimy, Mohamed A.
441-Jan-2000M-CHECK: A multiple engine combinational equivalence checkerReda, Sherief; Wahba, Ayman ; Salem, Ashraf 
451-Jan-1998A parallel technique for ATPG using genetic algorithmsSabry, Mohamed-Nabil ; Wahba, Ayman ; Mahdi, Hani
4617-Mar-1997Connection error location and correction in combinational circuitsWahba, Ayman ; Borrione, Dominique
471-Jan-1996HDL-based integration of formal methods and CAD tools in the PREVAIL environmentBorrione, D.; Bouamama, H.; Deharbe, D.; Le Faou, C.; Wahba, Ayman 
481-Jan-1996Automatic diagnosis may replace simulation for correcting simple design errorsWahba, Ayman ; Borrione, Dominique
491-Jan-1995Design error diagnosis in sequential circuitsWahba, Ayman ; Borrione, Dominique
501-Jan-1993Verification and diagnosis of digital systems by ternary reasoningWahba, Ayman ; Aas, Einar J.