New advances in verification and debugging of hardware systems

dc.contributor.author	Bhattacharjee, Debjyoti
dc.date.accessioned	2016-07-20T16:13:26Z
dc.date.available	2016-07-20T16:13:26Z
dc.date.issued	2015
dc.identifier.citation	62p.	en_US
dc.identifier.uri	http://hdl.handle.net/10263/6472
dc.description	Dissertation under the supervision of Ansuman Banerjee, ACM Unit	en_US
dc.language.iso	en	en_US
dc.publisher	Indian Statistical Institute, Kolkata	en_US
dc.relation.ispartofseries	Dissertation;15-315
dc.subject	LTL	en_US
dc.subject	Debugging	en_US
dc.subject	Bug localization	en_US
dc.subject	Bug fix suggestion	en_US
dc.title	New advances in verification and debugging of hardware systems	en_US
dc.type	Thesis	en_US