Chunduri Rama Mohan

According to our database, Chunduri Rama Mohan authored at least 17 papers between 1992 and 2020.

Collaborative distances:

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

2020

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management.

Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan

IEEE Trans. Very Large Scale Integr. Syst., 2020

2018

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.

Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

2017

Formal Verification of Power Management Logic with Mixed-Signal Domains.

Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

2008

Cohesive Coverage Management for Simulation and Formal Property Verification.

Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

2007

An ECO Technique for Removing Crosstalk Violations in Clock Networks.

Amit Kumar, Krishnendu Chakrabarty, Chunduri Rama Mohan

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

2006

Design-Intent Coverage - A New Paradigm for Formal Property Verification.

Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2005

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.

Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

2004

Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.

Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Formal verification coverage: computing the coverage gap between temporal specifications.

Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

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

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix

Proceedings of the 2004 Design, 2004

1997

On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers.

Chunduri Rama Mohan, Srobona Mitra, Partha Pal Chaudhuri

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

1996

EARTH: combined state assignment of PLA-based FSM's targeting area and testability.

Chunduri Rama Mohan, Partha Pratim Chakrabarti

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

1995

Combined optimization of area and testability during state assignment of PLA-based FSM's.

Chunduri Rama Mohan, Partha Pratim Chakrabarti

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

1994

A New Approach to Synthesis of PLA-Based FSM's.

Chunduri Rama Mohan, Partha Pratim Chakrabarti

Proceedings of the Seventh International Conference on VLSI Design, 1994

A new approach for factorizing FSM's.

Chunduri Rama Mohan, Partha Pratim Chakrabarti

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

1993

Combining State Assignment with PLA Folding.

Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose

Proceedings of the Sixth International Conference on VLSI Design, 1993

1992

A New algorithm for combined PLA folding.

Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose

Proceedings of the Fifth International Conference on VLSI Design, 1992