MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Amit Narayan" – sorted by Relevance.

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

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

7 documents found, showing 1 through 7.

ATOM

Measurement and Modeling of MOS Transistor Current Mismatch in Analog IC's
by Eric Felt, Amit Narayan, Alberto Sangiovanni-vincentelli — 1994 — in Proc. ACM
…Measurement and Modeling of MOS Transistor Current Mismatch in Analog IC's Eric Felt Amit Narayan…
Cited by 9 (1 self) – Add To MetaCart

Formal Verification of Combinational Circuits
by Jawahar Jain, Amit Narayan, M. Fujita, A. Sangiovanni-vincentelli — 1997 — In International Conference on VLSI Design
…Formal Verification of Combinational Circuits Jawahar Jain 1 Amit Narayan 2 M. Fujita 1 A…
Cited by 7 (0 self) – Add To MetaCart

Improved Symbolic Verification Using Partitioning Techniques
by Subramanian Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain — 2003 — In Proc. of CHARME 2003
… 1,3 , Christian Stangier 1 , Amit Narayan 1 , and Jawahar Jain 1 1 Fujitsu Laboratories of America…
Cited by 11 (7 self) – Add To MetaCart

Wireplanning in Logic Synthesis
by Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli — 1998 — In Proc. Intl. Conf. on Computer-Aided Design
…Abstract Wireplanning in Logic Synthesis Wilsin Gosti Amit Narayan + Robert K. Brayton Alberto L…
Cited by 13 (2 self) – Add To MetaCart

Steady-state analysis of voltage and current controlled oscillators
by Amit Mehrotra, Suihua Lu, David C Lee, Amit Narayan — 2005 — ICCAD 2005
…, David C Lee and Amit Narayan Berkeley Design Automation, Santa Clara CA 95054 Abstract— This paper…
Cited by 2 (2 self) – Add To MetaCart

A Partitioning Methodology for BDD-based Verification
by Debashis Sahoo, Subramanian Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson — 2004 — In Formal Methods in Computer-Aided Design, volume 3312 of Lecture Notes in Computer Science
… , Jawahar Jain 3 , Christian Stangier 3 , Amit Narayan, David L. Dill 1 , and E. Allen Emerson 2 1 Stanford…
Cited by 9 (4 self) – Add To MetaCart

Wilsin Gosti
by Wireplanning In Logic, Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli — 1998 — In Proc. Intl. Conf. on Computer-Aided Design
…Wilsin Gosti Wireplanning in Logic Synthesis * Amit Narayan + Robert K. Brayton Alberto L…
Add To MetaCart

Showing 1 through 7.

ATOM

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