2006 |
8 | EE | Wendy Belluomini,
Damir Jamsek,
Andrew K. Martin,
Chandler McDowell,
Robert K. Montoye,
Hung C. Ngo,
Jun Sawada:
Limited switch dynamic logic circuits for high-speed low-power circuit design.
IBM Journal of Research and Development 50(2-3): 277-286 (2006) |
2005 |
7 | EE | Jayanta Bhadra,
Andrew K. Martin,
Jacob A. Abraham:
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.
Formal Methods in System Design 27(1-2): 67-112 (2005) |
2004 |
6 | | Alan J. Hu,
Andrew K. Martin:
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Springer 2004 |
2003 |
5 | EE | Magdy S. Abadir,
Ken Albin,
John Havlicek,
Narayanan Krishnamurthy,
Andrew K. Martin:
Formal Verification Successes at Motorola.
Formal Methods in System Design 22(2): 117-123 (2003) |
2001 |
4 | EE | Jayanta Bhadra,
Andrew K. Martin,
Jacob A. Abraham,
Magdy S. Abadir:
Using Abstract Specifications to Verify PowerPCTM Custom Memories by Symbolic Trajectory Evaluation.
CHARME 2001: 386-402 |
3 | EE | Narayanan Krishnamurthy,
Magdy S. Abadir,
Andrew K. Martin,
Jacob A. Abraham:
Design and Development Paradigm for Industrial Formal Verification CAD Tools.
IEEE Design & Test of Computers 18(4): 26-35 (2001) |
2000 |
2 | EE | Narayanan Krishnamurthy,
Andrew K. Martin,
Magdy S. Abadir,
Jacob A. Abraham:
Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.
VTS 2000: 9-14 |
1 | EE | Narayanan Krishnamurthy,
Andrew K. Martin,
Magdy S. Abadir,
Jacob A. Abraham:
Validating PowerPC Microprocessor Custom Memories.
IEEE Design & Test of Computers 17(4): 61-76 (2000) |