Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation

  • Authors:
  • Donald Chai;Andreas Kuehlmann

  • Affiliations:
  • University of California at Berkeley, CA, USA;University of California at Berkeley, CA, USA/ Cadence Berkeley Labs, Berkeley, CA, USA

  • Venue:
  • ICCD '04 Proceedings of the IEEE International Conference on Computer Design
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We demonstrate that a targeted restructuring of the problem formulation based on the circuit topology can significantly improve the performance and capacity of the overall optimization procedure. We further review two distinct application classes, one requiring a feasible, the other an infeasible bound of an ILP solution that cannot be computed optimally within resource limits and present algorithmic approaches to handle them. We use the problems of computing a minimal leakage state and finding the state transition with maximal peak current to exemplify these two unique classes and present results comparing our methods with alternative techniques.