The BUSpec platform for automated generation of verification aids for standard bus protocols. - Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (MEMOCODE, 2004)

Test generation games from formal specifications. - Ansuman Banerjee; Bhaskar Pal; Sayantan Das; Abhijeet Kumar; Pallab Dasgupta (DAC, 2006)

Hardware accelerated constrained random test generation. - Bhaskar Pal; Arnab Sinha; Pallab Dasgupta; P. P. Chakrabarti 001; Kaushik De (IET Comput. Digit. Tech., 2007)

BUSpec: A framework for generation of verification aids for standard bus protocol specifications. - Bhaskar Pal; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001 (Integr., 2007)

Accelerating Assertion Coverage With Adaptive Testbenches. - Bhaskar Pal; Ansuman Banerjee; Arnab Sinha; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Design intent coverage revisited. - Arnab Sinha; Pallab Dasgupta; Bhaskar Pal; Sayantan Das 001; Prasenjit Basu; P. P. Chakrabarti 001 (ACM Trans. Design Autom. Electr. Syst., 2009)