Bhaskar Pal

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti
Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14 (1) (2009)
Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta
Accelerating Assertion Coverage With Adaptive Testbenches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (5) (2008)
Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. 40 (3) (2007)
Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De
Hardware accelerated constrained random test generation. IET Comput. Digit. Tech. 1 (4) (2007)
Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta
Test generation games from formal specifications. DAC (2006)
Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti
The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE (2004)