Amit Narayan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
6
Active years
1994–2005
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICCAD | Steady-state analysis of voltage and current controlled oscillators. | Amit Mehrotra, Suihua Lu, David C. Lee, Amit Narayan |
| 2004 | FMCAD | A Partitioning Methodology for BDD-Based Verification. | Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson |
| 2004 | ISCAS | Continuation method in multitone harmonic balance. | Suihua Lu, Amit Narayan, Amit Mehrotra |
| 2004 | ISCAS | Analysis techniques for obtaining the steady-state solution of MOS LC oscillators. | Makram M. Mansour, Amit Mehrotra, William W. Walker, Amit Narayan |
| 2001 | DAC | Reducing Memory Requirements of Nested Loops for Embedded Systems. | J. Ramanujam, Jinpyo Hong, Mahmut T. Kandemir, Amit Narayan |
| 1998 | ICCAD | Wireplanning in logic synthesis. | Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Logic synthesis for large pass transistor circuits. | Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Reachability analysis using partitioned-ROBDDs. | Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCD | A Survey of Techniques for Formal Verification of Combinational Circuits. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1997 | VLSID | Formal Verification of Combinational Circuit. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | Engineering Change in a Non-Deterministic FSM Setting. | Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1996 | FMCAD | Decomposition Techniques for Efficient ROBDD Construction. | Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita |
| 1996 | ICCAD | Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. | Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1996 | VLSID | A study of composition schemes for mixed apply/compose based construction of ROBDDs. | Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Measurement and modeling of MOS transistor current mismatch in analog IC's. | Eric Felt, Amit Narayan, Alberto L. Sangiovanni-Vincentelli |