Bhowmick, Santanu2016-07-082016-07-08200953p.http://hdl.handle.net/10263/6387Dissertation under the supervision of Prof. Susmita Sur-Koley, ACM UnitenMulti-cycle droop faultMid-frequency power droopBoolean satisfiabilitySATSAT solver based multi cycle droop fault testingThesis