Chunduri Rama Mohan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
3
Active years
1992–2018
Best venue rank
National
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | VLSID | Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. | Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan |
| 2017 | VLSID | 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 |
| 2007 | VLSID | An ECO Technique for Removing Crosstalk Violations in Clock Networks. | Amit Kumar, Krishnendu Chakrabarty, Chunduri Rama Mohan |
| 2005 | VLSID | 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 |
| 2004 | DATE | 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 |
| 2004 | ICCAD | 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 |
| 2004 | VLSID | Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. | Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan |
| 1997 | VLSID | On Incorporation of BIST for the Synthesis of Easily and Fully Testable Controllers. | Chunduri Rama Mohan, Srobona Mitra, Partha Pal Chaudhuri |
| 1995 | VLSID | Combined optimization of area and testability during state assignment of PLA-based FSM's. | Chunduri Rama Mohan, Partha Pratim Chakrabarti |
| 1994 | ICCAD | A new approach for factorizing FSM's. | Chunduri Rama Mohan, Partha Pratim Chakrabarti |
| 1994 | VLSID | A New Approach to Synthesis of PLA-Based FSM's. | Chunduri Rama Mohan, Partha Pratim Chakrabarti |
| 1993 | VLSID | Combining State Assignment with PLA Folding. | Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose |
| 1992 | VLSID | A New algorithm for combined PLA folding. | Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose |