Patent ID: 8793641

Claim:
An electronic design automation (EDA) tool for determining power leakage of an electronic circuit design, wherein the electronic circuit design includes a plurality of digital logic elements including first and second digital logic elements, and wherein an output of the first digital logic element is connected to an input of the second digital logic element, the EDA tool comprising: an automatic test pattern generation (ATPG) tool for generating a set of test patterns that includes first and second sets of input value strings; a memory that stores the electronic circuit design; and a processor in communication with the memory and the ATPG tool, wherein the processor includes a counter that generates count values, and wherein the processor: simulates the first and second digital logic elements individually, using the first and second sets of input value strings and generates first and second sets of output value strings at outputs of the first and second digital logic elements, respectively; creates a look-up table that stores a mapping between the first and second sets of input value strings and the corresponding first and second sets of output value strings; instructs the counter to generate first and second sets of count values corresponding to occurrences of at least one of logic zero and logic one values at inputs of the first and second digital logic elements, respectively, for simulating the electronic circuit design, based on the look-up table; determines a plurality of input probability values corresponding to a probability of occurrence of at least one of logic zero and logic one values at the inputs of the first and second digital logic elements, based on the first and second sets of input value strings and the first and second sets of count values, respectively; and determines power leakages of the first and second digital logic elements based on the plurality of input probability values and predetermined power leakage values of the first and second digital logic elements corresponding to the occurrences of at least one of logic zero and logic one values at the inputs thereof.