SAT solver based multi cycle droop fault testing

Bhowmick, Santanu

dc.contributor.author	Bhowmick, Santanu
dc.date.accessioned	2016-07-08T15:47:26Z
dc.date.available	2016-07-08T15:47:26Z
dc.date.issued	2009
dc.identifier.citation	53p.	en_US
dc.identifier.uri	http://hdl.handle.net/10263/6387
dc.description	Dissertation under the supervision of Prof. Susmita Sur-Koley, ACM Unit	en_US
dc.language.iso	en	en_US
dc.publisher	Indian Statistical Institute, Kolkata	en_US
dc.relation.ispartofseries	Dissertation;2009-229
dc.subject	Multi-cycle droop fault	en_US
dc.subject	Mid-frequency power droop	en_US
dc.subject	Boolean satisfiability	en_US
dc.subject	SAT	en_US
dc.title	SAT solver based multi cycle droop fault testing	en_US
dc.type	Thesis	en_US