| 2009 | ||
|---|---|---|
| 2 | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti: Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76 | |
| 2008 | ||
| 1 | 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 | |
| 1 | Ansuman Banerjee | [1] |
| 2 | P. P. Chakrabarti (Partha Pratim Chakrabarti) | [1] [2] |
| 3 | Pallab Dasgupta | [1] [2] |
| 4 | Priyankar Ghosh | [2] |
| 5 | Srobona Mitra | [1] |
| 6 | Chunduri Rama Mohan | [1] |