Chunduri Rama Mohan

2008
13	EE	Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan: Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI 2008: 251-256
2007
12	EE	Amit Kumar, Krishnendu Chakrabarty, Chunduri Rama Mohan: An ECO Technique for Removing Crosstalk Violations in Clock Networks. VLSI Design 2007: 283-288
2006
11	EE	Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1922-1934 (2006)
2005
10	EE	Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix: Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design 2005: 201-206
2004
9	EE	Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix: Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE 2004: 668-669
8	EE	Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203
7	EE	Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan: Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. VLSI Design 2004: 109-114
1997
6	EE	Chunduri Rama Mohan, S. Mitra, Partha Pal Chaudhuri: On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers. VLSI Design 1997: 547-563
1996
5	EE	Chunduri Rama Mohan, Partha Pratim Chakrabarti: EARTH: combined state assignment of PLA-based FSM's targeting area and testability. IEEE Trans. on CAD of Integrated Circuits and Systems 15(7): 727-731 (1996)
1995
4	EE	Chunduri Rama Mohan, Partha Pratim Chakrabarti: Combined optimization of area and testability during state assignment of PLA-based FSM's. VLSI Design 1995: 408-413
1994
3	EE	Chunduri Rama Mohan, Partha Pratim Chakrabarti: A new approach for factorizing FSM's. ICCAD 1994: 698-701
2		Chunduri Rama Mohan, Partha Pratim Chakrabarti: A New Approach to Synthesis of PLA-Based FSM's. VLSI Design 1994: 373-378
1993
1		Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose: Combining State Assignment with PLA Folding. VLSI Design 1993: 9-14

Coauthor Index

1	Roy Armoni	[8] [11]
2	Ansuman Banerjee	[8] [10] [11] [13]
3	Prasenjit Basu	[7] [8] [9] [10] [11]
4	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [13]
5	Krishnendu Chakrabarty	[12]
6	Partha Pal Chaudhuri	[6]
7	Sayantan Das	[8] [9] [10] [11]
8	Pallab Dasgupta	[7] [8] [9] [10] [11] [13]
9	Limor Fix	[8] [9] [10] [11]
10	Sujoy Ghose	[1]
11	Aritra Hazra	[13]
12	Amit Kumar	[12]
13	S. Mitra	[6]
14	Srobona Mitra	[13]

Colors in the list of coauthors