SAT solver based multi cycle droop fault testing
No Thumbnail Available
Files
Date
2009
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Indian Statistical Institute, Kolkata
Abstract
Description
Dissertation under the supervision of Prof. Susmita Sur-Koley, ACM Unit
Keywords
Multi-cycle droop fault, Mid-frequency power droop, Boolean satisfiability, SAT
Citation
53p.