Chunduri Rama Mohan

17 papers A 3Misc 10Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
Assertions for Protecting Mixed-Signal Latency Contracts in Power Management.
IEEE Trans. Very Large Scale Integr. Syst.
Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan
2018 Misc conf
Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.
VLSID
Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan
2017 Misc conf
Formal Verification of Power Management Logic with Mixed-Signal Domains.
VLSID
Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu
2008 — conf
Cohesive Coverage Management for Simulation and Formal Property Verification.
ISVLSI
Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan
2007 Misc conf
An ECO Technique for Removing Crosstalk Violations in Clock Networks.
VLSI Design
Amit Kumar, Krishnendu Chakrabarty, Chunduri Rama Mohan
2006 J jnl
Design-Intent Coverage - A New Paradigm for Formal Property Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2005 Misc conf
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.
VLSI Design
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2004 A conf
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?
DATE
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2004 A conf
Formal verification coverage: computing the coverage gap between temporal specifications.
ICCAD
Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004 Misc conf
Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.
VLSI Design
Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan
1997 Misc conf
On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers.
VLSI Design
Chunduri Rama Mohan, Srobona Mitra, Partha Pal Chaudhuri
1996 J jnl
EARTH: combined state assignment of PLA-based FSM's targeting area and testability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chunduri Rama Mohan, Partha Pratim Chakrabarti
1995 Misc conf
Combined optimization of area and testability during state assignment of PLA-based FSM's.
VLSI Design
Chunduri Rama Mohan, Partha Pratim Chakrabarti
1994 Misc conf
A New Approach to Synthesis of PLA-Based FSM's.
VLSI Design
Chunduri Rama Mohan, Partha Pratim Chakrabarti
1994 A conf
A new approach for factorizing FSM's.
ICCAD
Chunduri Rama Mohan, Partha Pratim Chakrabarti
1993 Misc conf
Combining State Assignment with PLA Folding.
VLSI Design
Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose
1992 Misc conf
A New algorithm for combined PLA folding.
VLSI Design
Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose