Bhaskar Pal

According to our database, Bhaskar Pal authored at least 6 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Design intent coverage revisited.

Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti

ACM Trans. Design Autom. Electr. Syst., 2009

2008

Accelerating Assertion Coverage With Adaptive Testbenches.

Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

BUSpec: A framework for generation of verification aids for standard bus protocol specifications.

Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti

Integr., 2007

Hardware accelerated constrained random test generation.

Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De

IET Comput. Digit. Tech., 2007

2006

Test generation games from formal specifications.

Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta

Proceedings of the 43rd Design Automation Conference, 2006

2004

The BUSpec platform for automated generation of verification aids for standard bus protocols.

Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004