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-60 of 60 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
411-Dec-2008Criteria-based requirements prioritization for software product managementMohamed, A. Samer I.; El-Maddah, B. Islam A.; Wahba, Ayman 
421-Dec-2007Verification of the properties of asynchronous real-time distributed systems using the B-FormalismWahba, Ayman ; El-Maddah, Islam A.
431-Dec-2006Dynamic reconfiguration for increased functional densityEl-Araby, Nahla A.; Wahba, Ayman ; Bedor, Hassan S.
441-Dec-2004HDL filter for optimized area-delay minimization in FPGA synthesisWahba, Ayman 
456-Sep-2004FPGA based accelerator for functional simulationWageeh, Mohamed N.; Wahba, Ayman ; Salem, Ashraf M.; Sheirah, Mohamed A.
461-Jan-2003AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONSHassan, Samah; Wahba, Ayman ; Zaki Badr, Ahmed 
471-Jan-2002Accelerated cosimulation using reconfigurable computingNabeel, Mohamed; Wahba, Ayman ; Salem, A. M.; Sheirah, M. A.
481-Dec-2001Formal verification of digital circuits by 3-valued simulationWahba, Ayman ; Aas, Einar J.
491-Jan-2001On the use of don't cares during symbolic reachability analysisReda, S.; Wahba, Ayman ; Salem, A.; Borrione, D.; Ghonaimy, M.
501-Dec-2000BDD/AOG - Based algorithm for multiple error rectification in combinational circuitsWahba, Ayman 
511-Dec-2000Iterated calculation of global implications and recursive learning in combinational equivalence checkingReda, Sherief; Wahba, Ayman ; Salem, Ashraf ; Ghonaimy, Mohamed A.
521-Jan-2000M-CHECK: A multiple engine combinational equivalence checkerReda, Sherief; Wahba, Ayman ; Salem, Ashraf 
531-Jan-1998A parallel technique for ATPG using genetic algorithmsSabry, Mohamed-Nabil ; Wahba, Ayman ; Mahdi, Hani
5417-Mar-1997Connection error location and correction in combinational circuitsWahba, Ayman ; Borrione, Dominique
551-Jan-1996HDL-based integration of formal methods and CAD tools in the PREVAIL environmentBorrione, D.; Bouamama, H.; Deharbe, D.; Le Faou, C.; Wahba, Ayman 
561-Jan-1996Automatic diagnosis may replace simulation for correcting simple design errorsWahba, Ayman ; Borrione, Dominique
571-Jan-1996Method for automatic design error location and correction in combinational logic circuitsWahba, Ayman ; Borrione, Dominique
581-Jan-1995Design error diagnosis in sequential circuitsWahba, Ayman ; Borrione, Dominique
591-Jan-1993Adaptive decoupler for multivariable systemsWahba, Ayman ; Sheirah, M. A.
601-Jan-1993Verification and diagnosis of digital systems by ternary reasoningWahba, Ayman ; Aas, Einar J.