Naren Narasimhan

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Publications

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV (2009)
William N. N. Hung, Naren Narasimhan
Reference model based RTL verification: an integrated approach. HLDVT (2004)
Roope Kaivola, Naren Narasimhan
Formal Verification of the Pentium ® 4 Floating-Point Multiplier. DATE (2002)
Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. Formal Methods Syst. Des. 19 (3) (2001)
Roope Kaivola, Naren Narasimhan
4 multiplier. HLDVT (2001)
Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri
Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis. ICCD (1998)
Naren Narasimhan, Ranga Vemuri
On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System. TPHOLs (1998)
Naren Narasimhan, Vinoo Srinivasan, Madhavi Vootukuru, Jeffrey Walrath, Sriram Govindarajan, Ranga Vemuri
Rapid Prototyping of Reconfigurable Coprocessors. ASAP (1996)
Naren Narasimhan, Ranga Vemuri
Specification of Control Flow Properties for Verification of Synthesized VHDL Designs. FMCAD (1996)
Naren Narasimhan, Ranga Vemuri, Jay Roy
Synchronous Controller Models for Synthesis from Communicating VHDL Processes. VLSI Design (1996)