Concepedia

Magdy S. Abadir

MS

78

Publications

2.5K

Citations

28

H-Index

1983

Active since

Affiliations

University of California, Santa Barbara(Current)

Motorola (United States)

University of Toronto

The University of Texas at Austin

University of California, Irvine

Magdy S. Abadir is an author at University of California, Santa Barbara specializing in computer engineering, engineering, and software testing.

Top concepts

EngineeringComputer EngineeringComputer ScienceSoftware TestingComputer ArchitectureFormal MethodsSystems EngineeringFormal VerificationVerificationHardware Security

Publications per year

1983–2017

78

Publications

78

A Knowledge-Based System for Designing Testable VLSI Chips

Magdy S. Abadir, Melvin A. Breuer · IEEE Design & Test of Computers · 1985 · 229 citations

Dft Techniques, Engineering, Hardware Verification Language +18

Logic design verification via test generation

Magdy S. Abadir, John Ferguson, Tom Kirkland · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1988 · 198 citations

Engineering, Hardware Verification Language, Verification +23

Challenges and Trends in Modern SoC Design Verification

Wen Chen, Sandip Ray, Jayanta Bhadra et al. · IEEE Design and Test · 2017 · 102 citations

Hardware Security, System On Chip, Tutorial Overview +14

Debugging sequential circuits using Boolean satisfiability

Moayad Fahim Ali, Andreas Veneris, Alexander Smith et al. · 2005 · 68 citations

Engineering, Verification, Computer-aided Verification +16

Post-verification debugging of hierarchical designs

Moayad Fahim Ali, S. Safarpour, Andreas Veneris et al. · International Conference on Computer Aided Design · 2005 · 68 citations

Engineering, Hardware Verification Language, Hierarchical Nature +21

Rows per page

1–5 of 78