Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection. - Zeyad Alkhalifa; V. S. S. Nair; Narayanan Krishnamurthy; Jacob A. Abraham (IEEE Trans. Parallel Distributed Syst., 1999)

Validation of PowerPC(tm) Custom Memories using Symbolic Simulation. - Narayanan Krishnamurthy; Andrew K. Martin; Magdy S. Abadir; Jacob A. Abraham (VTS, 2000)

Validating PowerPC Microprocessor Custom Memories. - Narayanan Krishnamurthy; Andrew K. Martin; Magdy S. Abadir; Jacob A. Abraham (IEEE Des. Test Comput., 2000)

Design and Development Paradigm for Industrial Formal Verification CAD Tools. - Narayanan Krishnamurthy; Magdy S. Abadir; Andrew K. Martin; Jacob A. Abraham (IEEE Des. Test Comput., 2001)

Automatic Generation of Design Constraints in Verifying High Performance Embedded Dynamic Circuits. - Jayanta Bhadra; Narayanan Krishnamurthy (ITC, 2002)

Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs? - Narayanan Krishnamurthy; Jayanta Bhadra; Magdy S. Abadir; Jacob A. Abraham (VTS, 2002)

A Methodology for Validating Manufacturing Test Vector Suites for Custom Designed Scan-Based Circuits. - Jayanta Bhadra; Narayanan Krishnamurthy; Magdy S. Abadir (MTV, 2003)

Formal Verification Successes at Motorola. - Magdy S. Abadir; Ken Albin; John Havlicek; Narayanan Krishnamurthy; Andrew K. Martin (Formal Methods Syst. Des., 2003)

Towards The Complete Elimination of Gate/Switch Level Simulations. - Narayanan Krishnamurthy; Jayanta Bhadra; Magdy S. Abadir; Jacob A. Abraham (VLSI Design, 2004)

Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation. - Jayanta Bhadra; Narayanan Krishnamurthy; Magdy S. Abadir (IEEE Des. Test Comput., 2004)

A Top-Down Methodology for Microprocessor Validation. - Prabhat Mishra 001; Nikil D. Dutt; Narayanan Krishnamurthy; Magdy S. Abadir (IEEE Des. Test Comput., 2004)

A methodology for validation of microprocessors using symbolic simulation. - Prabhat Mishra 001; Nikil D. Dutt; Narayanan Krishnamurthy; Magdy S. Abadir (Int. J. Embed. Syst., 2005)

Materials data analytics for 9% Cr family steel. - Vyacheslav N. Romanov; Narayanan Krishnamurthy; Amit K. Verma; Laura S. Bruckman; Roger H. French; Jennifer L. W. Carter; Jeffrey A. Hawk (Stat. Anal. Data Min., 2019)