Items where Author is "Das, Sourasis"

Article

Das, Sourasis ; Banerjee, Ansuman ; Dasgupta, Pallab (2012) Early analysis of critical faults: an approach to test generation from formal specifications IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31 (3). pp. 447-451. ISSN 0278-0070

Conference or Workshop Item

Das, Sourasis ; Banerjee, Ansuman ; Dasgupta, Pallab (2012) A generalized theory for formal assertion coverage In: 2012 IEEE 21st Asian Test Symposium, Niigata, Japan, 19-22 November 2012.

Das, Sourasis ; Dasgupta, Pallab ; Banerjee, Ansuman ; Das, Partha Pratim (2009) Directed automated symbolic verification of formal properties with local variables In: TENCON 2009 - 2009 IEEE Region 10 Conference, 23-26 January 2009, Singapore.