Andrew K. Martin

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Web Accessibility

Top Venues

J. Cogn. Neurosci.

Publications

Andrew K. Martin, Marcus Meinzer, Robert Lindenberg, Mira M. Sieg, Laura Nachtigall, Agnes Flöel
Effects of Transcranial Direct Current Stimulation on Neural Networks Structure in Young and Older Adults. J. Cogn. Neurosci. 29 (11) (2017)
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 J. Res. Dev. 50 (2-3) (2006)
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor. Formal Methods Syst. Des. 27 (1-2) (2005)
Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin
Formal Verification Successes at Motorola. Formal Methods Syst. Des. 22 (2) (2003)
Narayanan Krishnamurthy, Magdy S. Abadir, Andrew K. Martin, Jacob A. Abraham
Design and Development Paradigm for Industrial Formal Verification CAD Tools. IEEE Des. Test Comput. 18 (4) (2001)
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir
custom memories using compositions of abstract specifications. HLDVT (2001)
Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir
Custom Memories by Symbolic Trajectory Evaluation. CHARME (2001)
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham
Validation of PowerPC(tm) Custom Memories using Symbolic Simulation. VTS (2000)
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham
Validating PowerPC Microprocessor Custom Memories. IEEE Des. Test Comput. 17 (4) (2000)