Method for deriving a functional circuit description

摘要

A method for deriving a functional circuit description that is independent of pre-charge node values, the functional circuit description IS a transformation of an initial structural circuit description having pre-chargeable nodes. The method includes identifying the pre-chargeable nodes in initial structural circuit description. The pre-chargeable nodes have a logic value that is dependent upon an associated pre-charge clock. Pre-charge nodes value associated with the pre-chargeable nodes are then determined and then the functional circuit description that is independent of pre-charge node values is derived.