Low Power Verification Method for a Circuit Description and System for Automating a Minimization of a Circuit Description

摘要

A method for low power verification of a circuit description comprises minimizing a circuit description by creating a plurality of crossover trees, and evaluating each of the plurality of crossover trees to identify circuit description errors, in particular low power circuit description errors. The minimizing may comprise creating a plurality of crossover trees to represent circuit description, wherein each crossover tree has a unique set of selected ports and gates of the circuit description.

主权项

1. . A computer-implemented method for low power verification of a circuit description corresponding to a circuit design for manufacture, the method comprising:
minimizing the circuit description by creating a plurality of crossover trees; and evaluating each of the plurality of crossover trees to identify low power errors in the circuit description.