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.
Методом для выводить функциональное описание цепи независимо значений узла дозарядки, функциональное описание цепи БУДЕТ преобразование первоначально структурно описания цепи имея пре-pre-chargeable узлы. Метод вклюает определять пре-pre-chargeable узлы в первоначально структурно описание цепи. Пре-pre-chargeable узлы имеют значение логики зависит на associated часах дозарядки. Значение узлов дозарядки связанное с пре-pre-chargeable узлами после этого обусловлено и после этого функциональное описание цепи независимо значений узла дозарядки выведено.
