Modeling Circuit-level Leakage Current Using Algebraic Decision Diagrams [microform] by Ng, David | Menrva Books