Items where Author is "Das, Sayanlan"

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.