Concepedia

N. Narasimhan

NN

4

Publications

69

Citations

4

H-Index

2001

Active since

Affiliations

Intel (United States)(Current)

University of Cincinnati

N. Narasimhan is an author at Intel (United States) specializing in computer science, formal methods, and computer engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringSoftware AnalysisAutomated ReasoningSystems Engineering

Publications per year

2001–2004

4

Publications

4

Formal Verification of the Pentium® 4 Floating-Point Multiplier

Roope Kaivola, N. Narasimhan · Design, Automation, and Test in Europe · 2002 · 25 citations

Engineering, Hardware Verification Language, Multiplier Hardware +17

Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis

N. Narasimhan, Elena Teica, Rajesh Radhakrishnan et al. · Formal Methods in System Design · 2001 · 19 citations

Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis

N. Narasimhan, Elena Teica, R. Radhakrishnan et al. · 2002 · 15 citations

Engineering, Verification, Computer Architecture +22

Reference model based RTL verification: an integrated approach

William N. N. Hung, N. Narasimhan · 2004 · 10 citations

Engineering, Verification, Formal Equivalence Verification +20

Rows per page

1–4 of 4