Abstract | ||
---|---|---|
Leakage current promises to be a major contributor to power dissipation in future technologies. Bounding the maximum and minimum leakage current poses an important problem. Determining the maximum leakage ensures that the chip meets power dissipation constraints. Applying an input pattern that minimizes leakage allows extending battery life when the circuit is in standby mode. Finding such vectors can be expressed as a satisfiability problem. We apply in this paper an incremental SAT solver, PBS [1], to find the minimum or maximum leakage current. The solver is called as a post-process to a random-vector-generation approach. Our results indicate that using a such a generic SAT solver can improve on previously proposed random approaches [7]. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/3-540-45716-X_17 | PATMOS |
Keywords | Field | DocType |
generic sat solver,robust sat-based search algorithm,power dissipation,minimum leakage current,leakage current promise,important problem,maximum leakage,leakage power reduction,incremental sat solver,maximum leakage current,minimizes leakage,power dissipation constraint,chip,leakage current,search algorithm,sat solver,satisfiability | Search algorithm,Standby power,Leakage (electronics),Control theory,Computer science,Boolean satisfiability problem,Algorithm,Electronic engineering,Minification,Minimisation (psychology),Solver,Integrated circuit | Conference |
ISBN | Citations | PageRank |
3-540-44143-3 | 24 | 1.63 |
References | Authors | |
15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fadi A. Aloul | 1 | 351 | 32.74 |
Soha Hassoun | 2 | 535 | 241.27 |
Karem A. Sakallah | 3 | 3314 | 287.44 |
David Blaauw | 4 | 8916 | 823.47 |