Title: Modeling circuit-level leakage current using algebraic decision diagrams
First published: 2005