Abhijit Ghosh

发表

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Formal verification of synthesized analog designs

Ranga Vemuri, Abhijit Ghosh, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

Sequential test generation and synthesis for testability at the register-transfer and logic levels

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Sequential Logic Optimization for Low Power Using

Srinivas Devadas, Abhijit Ghosh, Input-Disabling Precomputation Architectures, 1998 .

Sequential logic synthesis for testability using register-transfer level descriptions

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1990, Proceedings. International Test Conference 1990.

Verification of interacting sequential circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991, DAC '90.

Hierarchical scheduling in high level synthesis using resource sharing across nested loops

Ranga Vemuri, Abhijit Ghosh, Sandeep K. Lodha, 1999, Proceedings Ninth Great Lakes Symposium on VLSI.

Methodology for hardware/software co-verification in C/C++

Abhijit Ghosh, Luc Séméria, L. Semeria, 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).

Symbolic FSM Traversal Methods

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Regularized Stacked Auto-Encoder Based Pre-training for Generalization of Multi-layer Perceptron

Prasenjit Dey, Tandra Pal, Abhijit Ghosh, 2017, TPNC.

Retiming sequential circuits for low power

José C. Monteiro, Srinivas Devadas, Abhijit Ghosh, 1993, ICCAD.

Heuristic minimization of Boolean relations using testing techniques

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Recent progress in synthesis for testability

Kurt Keutzer, Srinivas Devadas, Abhijit Ghosh, 1991, Digest of Papers 1991 VLSI Test Symposium 'Chip-to-System Test Concerns for the 90's.

Boolean factorization using multiple-valued minimization

Srinivas Devadas, Stan Y. Liao, Abhijit Ghosh, 1993, ICCAD.

Test generation for highly sequential circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Different Intrusion and Its Detection of Wireless Sensor Network: a Review

Abhijit Ghosh, Piyu Sarcar, Rimpi Datta, 2019, INTERNATIONAL JOURNAL OF ELECTRONICS & COMMUNICATION ENGINEERING & TECHNOLOGY .

Methodology for hardware/software co-verification in C/C++ (short paper)

Abhijit Ghosh, Luc Séméria, L. Semeria, 2000, ASP-DAC '00.

Sequential test generation at the register-transfer and logic levels

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991, DAC '90.

Probabilistic construction and manipulation of Free Boolean Diagrams

Srinivas Devadas, Abhijit Ghosh, Amelia Shen, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Verification of Sequential Circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Precomputation-based sequential logic optimization for low power

Marios C. Papaefthymiou, José C. Monteiro, Srinivas Devadas, 1994, ICCAD '94.

On average power dissipation and random pattern testability of CMOS combinational logic networks

Kurt Keutzer, Srinivas Devadas, Abhijit Ghosh, 1992, ICCAD.

Test Generation Using RTL Descriptions

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

YAML: a tool for hardware design visualization and capture

Stan Y. Liao, Rajesh K. Gupta, Abhijit Ghosh, 2000, ISSS '00.

Boolean satisfiability and equivalence checking using general binary decision diagrams

Srinivas Devadas, Abhijit Ghosh, Pranav Ashar, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

An observability-based code coverage metric for functional simulation

Kurt Keutzer, Srinivas Devadas, Abhijit Ghosh, 1996, ICCAD 1996.

Optimization of combinational and sequential logic circuits for low power using precomputation

José C. Monteiro, Srinivas Devadas, Abhijit Ghosh, 1995, Proceedings Sixteenth Conference on Advanced Research in VLSI.

Estimation of average switching activity in combinational and sequential circuits

Kurt Keutzer, Srinivas Devadas, Jacob K. White, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Implicit state transition graphs: applications to sequential logic synthesis and test

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

A unique approach for Market Basket Analysis under the framework of Probability Based

Anupam Mondal, Abhijit Ghosh, Abhijit Sarkar, 2014 .

Sequential Test Generation

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1992 .

Sequential logic optimization for low power using input-disabling precomputation architectures

José C. Monteiro, Srinivas Devadas, Abhijit Ghosh, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Probabilistic manipulation of Boolean functions using free Boolean diagrams

Srinivas Devadas, Abhijit Ghosh, Amelia Shen, 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

An observability-based code coverage metric for functional simulation

Kurt Keutzer, Srinivas Devadas, Abhijit Ghosh, 1996, Proceedings of International Conference on Computer Aided Design.

Logic Synthesis

Kurt Keutzer, Srinivas Devadas, Abhijit Ghosh, 1994 .

Precomputation-based sequential logic optimization for low power

Marios C. Papaefthymiou, José C. Monteiro, Srinivas Devadas, 1994, IEEE Trans. Very Large Scale Integr. Syst..

Formal verification of synthesized mixed signal designs using *BMDs

Ranga Vemuri, Abhijit Ghosh, 2000, VLSI Design 2000. Wireless and Digital Imaging in the Millennium. Proceedings of 13th International Conference on VLSI Design.

A Methodology for Feature Interaction Detection in the AIN 0.1 Framework

Hong Liu, Fuchun Joseph Lin, Abhijit Ghosh, 1998, IEEE Trans. Software Eng..

Modeling blast furnace productivity using support vector machines

Abhijit Ghosh, Sujit K. Majumdar, Abhijit Ghosh, 2011 .

Test generation and verification for highly sequential circuits

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Modeling failure types and failure times of turning and boring machine systems

Abhijit Ghosh, Sujit Kumar Majumdar, Abhijit Ghosh, 2010 .

Estimation of average switching activity in combinational logic circuits using symbolic simulation

Kurt Keutzer, José C. Monteiro, Srinivas Devadas, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

Srinivas Devadas, Abhijit Ghosh, Pranav Ashar, 1992, Integr..

Heuristic minimization of Boolean relations using testing techniques

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

A hardware-software co-simulator for embedded system design and debugging

Abhijit Ghosh, A. Jain, R. Casley, 2001 .

Retiming sequential circuits for low power

Srinivas Devadas, José Monteiro, Abhijit Ghosh, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Hardware synthesis from C/C++

Stan Y. Liao, Abhijit Ghosh, Joachim Kunkel, 1999, DATE '99.

A General Purpose Queue Architecture for an ATM Switch

Abhijit Ghosh, Hugh C. Lauer, Chia Shen, 1994 .

Effort estimation Of web based applications

Abhijit Ghosh, 2007 .

Probabilistic construction and manipulation of Free Boolean Diagrams

Srinivas Devadas, Abhijit Ghosh, Amelia Shen, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Boolean factorization using multiple-valued minimization

Srinivas Devadas, Abhijit Ghosh, Stan Liao, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Sequential Logic Testing and Verification

Srinivas Devadas, A. Richard Newton, Abhijit Ghosh, 1991 .