2009 | ||
---|---|---|
2 | EE | 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 | 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 |
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] |