Abadir, Magdy S
159  results:
Search for persons X
?
1

Data Mining In EDA - Basic Principles, Promises, and Constr..:

, In: Proceedings of the 51st Annual Design Automation Conference,
Wang, Li-C. ; Abadir, Magdy S. - p. 1-6 , 2014
 
?
 
?
4

Introduction to special section on verification challenges ..:

Ray, Sandip ; Bhadra, Jayanta ; Abadir, Magdy S...
ACM Transactions on Design Automation of Electronic Systems (TODAES).  17 (2012)  3 - p. 1-3 , 2012
 
?
5

Novel test detection to improve simulation efficiency : ..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Chen, Wen ; Sumikawa, Nik ; Wang, Li-C.... - p. 101-108 , 2012
 
?
6

Introduction to special section on verification challenges ..:

Ray, Sandip ; Bhadra, Jayanta ; Abadir, Magdy S...
ACM Transactions on Design Automation of Electronic Systems.  17 (2012)  3 - p. 1-3 , 2012
 
?
7

Important test selection for screening potential customer r..:

, In: Proceedings of 2011 International Symposium on VLSI Design, Automation and Test,
 
?
 
?
9

Classification rule learning using subgroup discovery of cr..:

, In: Proceedings of the 47th Design Automation Conference,
 
?
10

Predictive runtime verification of multi-processor SoCs in ..:

, In: Proceedings of the 45th annual Design Automation Conference,
Sen, Alper ; Ogale, Vinit ; Abadir, Magdy S. - p. 948-953 , 2008
 
?
11

Linking Statistical Learning to Diagnosis:

Bastani, Pouria ; Wang, Li-C. ; Abadir, Magdy S.
IEEE Design & Test of Computers.  25 (2008)  3 - p. 232-239 , 2008
 
?
12

Statistical diagnosis of unmodeled systematic timing effect:

, In: Proceedings of the 45th annual Design Automation Conference,
 
?
13

Session details: Formal and semi-formal verification techni..:

, In: Proceedings of the 44th annual Design Automation Conference,
 
?
14

Design-silicon timing correlation : a data mining perspe..:

, In: Proceedings of the 44th annual Design Automation Conference,
Wang, Li-C. ; Bastani, Pouria ; Abadir, Magdy S. - p. 384-389 , 2007
 
?
15

Maximum circuit activity estimation using pseudo-boolean sa..:

, In: Proceedings of the conference on Design, automation and test in Europe,
 
1-15