Narayanan Krishnamurthy

13 papers A 1Misc 3Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2019 J jnl
Materials data analytics for 9% Cr family steel.
Stat. Anal. Data Min.
Vyacheslav N. Romanov, Narayanan Krishnamurthy, Amit K. Verma, Laura S. Bruckman, Roger H. French, Jennifer L. W. Carter, Jeffrey A. Hawk
2005 J jnl
A methodology for validation of microprocessors using symbolic simulation.
Int. J. Embed. Syst.
Prabhat Mishra, Nikil D. Dutt, Narayanan Krishnamurthy, Magdy S. Abadir
2004 J jnl
A Top-Down Methodology for Microprocessor Validation.
IEEE Des. Test Comput.
Prabhat Mishra, Nikil D. Dutt, Narayanan Krishnamurthy, Magdy S. Abadir
2004 J jnl
Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation.
IEEE Des. Test Comput.
Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir
2004 Misc conf
Towards The Complete Elimination of Gate/Switch Level Simulations.
VLSI Design
Narayanan Krishnamurthy, Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham
2003 — conf
A Methodology for Validating Manufacturing Test Vector Suites for Custom Designed Scan-Based Circuits.
MTV
Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir
2003 J jnl
Formal Verification Successes at Motorola.
Formal Methods Syst. Des.
Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin
2002 A conf
Automatic Generation of Design Constraints in Verifying High Performance Embedded Dynamic Circuits.
ITC
Jayanta Bhadra, Narayanan Krishnamurthy
2002 Misc conf
Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?
VTS
Narayanan Krishnamurthy, Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham
2001 J jnl
Design and Development Paradigm for Industrial Formal Verification CAD Tools.
IEEE Des. Test Comput.
Narayanan Krishnamurthy, Magdy S. Abadir, Andrew K. Martin, Jacob A. Abraham
2000 J jnl
Validating PowerPC Microprocessor Custom Memories.
IEEE Des. Test Comput.
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham
2000 Misc conf
Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.
VTS
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham
1999 J jnl
Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection.
IEEE Trans. Parallel Distributed Syst.
Zeyad Alkhalifa, V. S. S. Nair, Narayanan Krishnamurthy, Jacob A. Abraham