Amit Narayan

According to our database, Amit Narayan authored at least 19 papers between 1994 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

GridSpice: A Distributed Simulation Platform for the Smart Grid.

Kyle Anderson, Jimmy Du, Amit Narayan, Abbas El Gamal

IEEE Trans. Ind. Informatics, 2014

2006

Estimating and reducing the memory requirements of signal processing codes for embedded systems.

J. Ramanujam, Jinpyo Hong, Mahmut T. Kandemir, Amit Narayan, Ankush Agarwal

IEEE Trans. Signal Process., 2006

2005

Steady-state analysis of voltage and current controlled oscillators.

Amit Mehrotra, Suihua Lu, David C. Lee, Amit Narayan

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

Analysis techniques for obtaining the steady-state solution of MOS LC oscillators.

Makram M. Mansour, Amit Mehrotra, William W. Walker, Amit Narayan

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Continuation method in multitone harmonic balance.

Suihua Lu, Amit Narayan, Amit Mehrotra

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

A Partitioning Methodology for BDD-Based Verification.

Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Improved Symbolic Verification Using Partitioning Techniques.

Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2001

Reducing Memory Requirements of Nested Loops for Embedded Systems.

J. Ramanujam, Jinpyo Hong, Mahmut T. Kandemir, Amit Narayan

Proceedings of the 38th Design Automation Conference, 2001

1998

Wireplanning in logic synthesis.

Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

Formal Verification of Combinational Circuit.

Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

A Survey of Techniques for Formal Verification of Combinational Circuits.

Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Reachability analysis using partitioned-ROBDDs.

Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Logic synthesis for large pass transistor circuits.

Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

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

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.

Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Decomposition Techniques for Efficient ROBDD Construction.

Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

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

Proceedings of the 33st Conference on Design Automation, 1996

1995

Integrating Data Distribution and Loop Transformations.

J. Ramanujam, Amit Narayan

Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

1994

Measurement and modeling of MOS transistor current mismatch in analog IC's.

Eric Felt, Amit Narayan, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994