Aritra Hazra

	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

Coauthor Index

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]