 | 2009 |
|---|
| 5 |       | 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) |
| 2008 |
|---|
| 4 | | Bhaskar Pal,
Ansuman Banerjee,
Arnab Sinha,
Pallab Dasgupta:
Accelerating Assertion Coverage With Adaptive Testbenches.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 967-972 (2008) |
| 2007 |
|---|
| 3 | | Bhaskar Pal,
Ansuman Banerjee,
Pallab Dasgupta,
P. P. Chakrabarti:
BUSpec: A framework for generation of verification aids for standard bus protocol specifications.
Integration 40(3): 285-304 (2007) |
| 2006 |
|---|
| 2 | | Ansuman Banerjee,
Bhaskar Pal,
Sayantan Das,
Abhijeet Kumar,
Pallab Dasgupta:
Test generation games from formal specifications.
DAC 2006: 827-832 |
| 2004 |
|---|
| 1 | | Bhaskar Pal,
Ansuman Banerjee,
Pallab Dasgupta,
P. P. Chakrabarti:
The BUSpec platform for automated generation of verification aids for standard bus protocols.
MEMOCODE 2004: 119-128 |
