MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Naren Narasimhan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System
by Naren Narasimhan, Ranga Vemuri — Proceedings of 11th Conference on Theorem Proving in Higher Or der Logics (TPHOL'98
… Allocator in a High--Level Synthesis System ? Naren Narasimhan and Ranga Vemuri ?? Laboratory for Digital…
Cited by 3 (3 self) – Add To MetaCart

Formal Verification of the Pentium 4 Floating-Point Multiplier
by Roope Kaivola, Naren Narasimhan — 2002 — in Design, Automation and Test in Europe Conference and Exposition (DATE). IEEE
…Formal Verification of the Pentium 4 Floating–Point Multiplier Roope Kaivola and Naren…
Cited by 4 (0 self) – Add To MetaCart

Specification of Control Flow Properties for Verification of Synthesized VHDL Designs
by Naren Narasimhan And, Naren Narasimhan, Ranga Vemuri — 1996 — Proceedings of International Conference in Formal Methods in Computer Aided Design
…Specification of Control Flow Properties for Verification of Synthesized VHDL Designs ? Naren…
Add To MetaCart

Synchronous Controller Models for Synthesis from Communicating VHDL Processes
by Naren Narasimhan, Jay Roy, Ranga Vemuri — 1996 — VHDL Processes'. Ninth International Conference on VLSI Design
…Synchronous Controller Models for Synthesis from Communicating VHDL Processes Naren Narasimhan…
Cited by 2 (2 self) – Add To MetaCart

Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis
by Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri — 1998 — Proceedings of International Conference on Computer Design (ICCD'98
… for High--Level Synthesis 1 Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan…
Cited by 5 (2 self) – Add To MetaCart

Validation of Synthesized Register-Transfer Level Designs Using Simulation and Formal Verification
by Naren Narasimhan Ravi, Ravi Kalyanaraman, Ranga Vemuri — 1996 — In High Level Design Validation and Test Workshop
… 1 Naren Narasimhan, Ravi Kalyanaraman and Ranga Vemuri Laboratory for Digital Design Environments…
Add To MetaCart

Rapid Prototyping of Reconfigurable Coprocessors
by Naren Narasimhan, Vinoo Srinivasan, Madhavi Vootukuru, Jeff Walrath, Sriram Govindarajan, Ranga Vemuri — 1996 — Work,” Chemical Engineering Education
…Rapid Prototyping of Reconfigurable Coprocessors 1 Naren Narasimhan, Vinoo Srinivasan, Madhavi…
Cited by 3 (2 self) – Add To MetaCart

Performance Modeling and Tradeoff Analysis During Rapid Prototyping
by Jeffrey Walrath, Karam S. Chatha, Ranga Vemuri, Naren Narasimhan, Vinoo Srinivasan — 1996 — Proceedings of the 1996 International Conferences on Application-Specific Systems, Architectures and Processors, IEEE press
…. Chatha, Ranga Vemuri, Naren Narasimhan and Vinoo Srinivasan Laboratory for Digital Design Environments…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB