### Abstract

In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identify the minimum leakage set of input vectors (MLS). Applying a vector in the MLS is known as Input Vector Control (IVC), and has proven to be very useful in reducing gate oxide leakage and sub-threshold leakage in standby mode of operation. The approach presented here is based on Implicit Enumeration of integer-valued decision diagrams. Since the search space for minimum leakage vector increases exponentially with the number of primary inputs, the enumeration is done with respect to the minimum balanced cut of the digraph representation of the circuit. To reduce the switching power dissipated when the inputs are driven to a given state (during entry into and exit from the standby state), we extend the MLS algorithm to compute a bounded leakage set (BLS). Given a bound of standby leakage, we present an algorithm for computing minimal switching cost partial input vectors such that the leakage of the circuit is always less than the upper bound.

Original language | English (US) |
---|---|

Title of host publication | Proceedings - Design Automation Conference |

Pages | 767-772 |

Number of pages | 6 |

State | Published - 2004 |

Event | Proceedings of the 41st Design Automation Conference - San Diego, CA, United States Duration: Jun 7 2004 → Jun 11 2004 |

### Other

Other | Proceedings of the 41st Design Automation Conference |
---|---|

Country | United States |

City | San Diego, CA |

Period | 6/7/04 → 6/11/04 |

### Fingerprint

### Keywords

- Binary Decision Diagrams
- CMOS
- Leakage
- Power
- SAT
- Symbolic Methods

### ASJC Scopus subject areas

- Hardware and Architecture
- Control and Systems Engineering

### Cite this

*Proceedings - Design Automation Conference*(pp. 767-772)

**Implicit pseudo boolean enumeration algorithms for input vector control.** / Chopra, Kaviraj; Vrudhula, Sarma.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Proceedings - Design Automation Conference.*pp. 767-772, Proceedings of the 41st Design Automation Conference, San Diego, CA, United States, 6/7/04.

}

TY - GEN

T1 - Implicit pseudo boolean enumeration algorithms for input vector control

AU - Chopra, Kaviraj

AU - Vrudhula, Sarma

PY - 2004

Y1 - 2004

N2 - In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identify the minimum leakage set of input vectors (MLS). Applying a vector in the MLS is known as Input Vector Control (IVC), and has proven to be very useful in reducing gate oxide leakage and sub-threshold leakage in standby mode of operation. The approach presented here is based on Implicit Enumeration of integer-valued decision diagrams. Since the search space for minimum leakage vector increases exponentially with the number of primary inputs, the enumeration is done with respect to the minimum balanced cut of the digraph representation of the circuit. To reduce the switching power dissipated when the inputs are driven to a given state (during entry into and exit from the standby state), we extend the MLS algorithm to compute a bounded leakage set (BLS). Given a bound of standby leakage, we present an algorithm for computing minimal switching cost partial input vectors such that the leakage of the circuit is always less than the upper bound.

AB - In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identify the minimum leakage set of input vectors (MLS). Applying a vector in the MLS is known as Input Vector Control (IVC), and has proven to be very useful in reducing gate oxide leakage and sub-threshold leakage in standby mode of operation. The approach presented here is based on Implicit Enumeration of integer-valued decision diagrams. Since the search space for minimum leakage vector increases exponentially with the number of primary inputs, the enumeration is done with respect to the minimum balanced cut of the digraph representation of the circuit. To reduce the switching power dissipated when the inputs are driven to a given state (during entry into and exit from the standby state), we extend the MLS algorithm to compute a bounded leakage set (BLS). Given a bound of standby leakage, we present an algorithm for computing minimal switching cost partial input vectors such that the leakage of the circuit is always less than the upper bound.

KW - Binary Decision Diagrams

KW - CMOS

KW - Leakage

KW - Power

KW - SAT

KW - Symbolic Methods

UR - http://www.scopus.com/inward/record.url?scp=4444296151&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=4444296151&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:4444296151

SP - 767

EP - 772

BT - Proceedings - Design Automation Conference

ER -