Andrew K. Martin

Orcid: 0000-0001-9445-9151

Affiliations:
  • IBM Research Division, Almaden Research Laboratory, San Jose, USA


According to our database1, Andrew K. Martin authored at least 9 papers between 2000 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Effects of Transcranial Direct Current Stimulation on Neural Networks Structure in Young and Older Adults.
J. Cogn. Neurosci., 2017

2006
Limited switch dynamic logic circuits for high-speed low-power circuit design.
IBM J. Res. Dev., 2006

2005
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.
Formal Methods Syst. Des., 2005

2003
Formal Verification Successes at Motorola.
Formal Methods Syst. Des., 2003

2001
Design and Development Paradigm for Industrial Formal Verification CAD Tools.
IEEE Des. Test Comput., 2001

A language formalism for verification of PowerPC<sup>TM</sup> custom memories using compositions of abstract specifications.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Using Abstract Specifications to Verify PowerPC<sup>TM</sup> Custom Memories by Symbolic Trajectory Evaluation.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Validating PowerPC Microprocessor Custom Memories.
IEEE Des. Test Comput., 2000

Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.
Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000


  Loading...