Items where Author is "Basu, Prasenjit"

Article

Sinha, Arnab ; Dasgupta, Pallab ; Pal, Bhaskar ; Das, Sayantan ; Basu, Prasenjit ; Chakrabarti, P. P. (2009) Design intent coverage revisited ACM Transactions on Design Automation of Electronic Systems, 14 (1). No pp. given. ISSN 1084-4309

Sinha, Arnab ; Dasgupta, Pallab ; Pal, Bhaskar ; Das, Sayantan ; Basu, Prasenjit ; Chakrabarti, P. P. (2009) Design intent coverage revisited ACM Transactions on Design Automation of Electronic Systems, 14 (1). pp. 1-32. ISSN 1084-4309

Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) What lies between design intent coverage and model checking? Design, Automation and Test in Europe Conference and Exhibition . pp. 1217-1222. ISSN 1530-1591

Basu, Prasenjit ; Das, Sayantan ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) Discovering the input assumptions in specification refinement coverage Asia and South Pacific Design Automation Conference . pp. 13-18.

Roy, Suchismita ; Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2005) SAT based solutions for consistency problems in formal property specifications for open systems International Conference on Computer Aided Design . pp. 885-888.

Conference or Workshop Item

Das, Sayanlan ; Banerjee, Ansuman ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. ; Mohan, Chunduri Rama ; Fix, L. (2005) Formal methods for analyzing the completeness of an assertion suite against a high-level fault model In: 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design, 3-7 January 2005.