Magdy S. Abadir

The tradeoff between peripheral and area array bonding of components in multichip modules

Cynthia F. Murphy, Peter Sandborn, Magdy S. Abadir, 1994 .

Leakage Power Estimation in SRAMs

Nikil Dutt, Mahesh Mamidipaka, Magdy S. Abadir, 2003 .

A Property Checking Approach to Microprocessor Verification using Symbolic Simulation

Nikil Dutt, Prabhat Mishra, Magdy S. Abadir, 2002 .