Symbolic power analysis of cell libraries

M. Raffelsieper, M.R. Mousavi

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


    Cell libraries are collections of logic cores (cells) used to construct larger chip designs; hence, any reduction in their power consumption may have a major impact in the power consumption of larger designs. The power consumption of a cell is often determined by triggering it with all possible input values in all possible orders at each state. In this paper, we first present a technique to measure the power consumption of a cell more efficiently by reducing the number of input orders that have to be checked. This is based on symbolic techniques and analyzes the number of (weighted) wire chargings taking place. Additionally, we present a technique that computes for a cell all orders that lead to the same state, but differ in their power consumption. Such an analysis is used to select the orders that minimize the required power, without affecting functionality, by inserting sufficient delays. Both techniques have been evaluated on an industrial cell library and were able to efficiently reduce the number of orders needed for power characterization and to efficiently compute orders that consume less power for a given state and input-vector transition.
    Originele taal-2Engels
    TitelFormal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings)
    RedacteurenG. Salaün, B. Schätz
    Plaats van productieBerlin
    ISBN van geprinte versie978-3-642-24430-8
    StatusGepubliceerd - 2011

    Publicatie series

    NaamLecture Notes in Computer Science
    ISSN van geprinte versie0302-9743


    Duik in de onderzoeksthema's van 'Symbolic power analysis of cell libraries'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit