A redesigning of dynamic logic circuitry inputs into a process implemented in a computer the dynamic logic circuitry to be redesigned as a set of boolean equations. Along a path through the logic circuitry, the logic circuitry is converted into AND and OR books, or blocks of circuitry. Then various portions of these books are compared to a library of AND/OR and OR/AND books. A list of these possible substitutions from the comparison step is produced. From the list, a selection process selects those substitutions providing a best cost benefit.

Un remodelage des entrées dynamiques de circuits de logique dans un processus a mis en application dans un ordinateur les circuits dynamiques de logique à remodeler comme ensemble d'équations booléennes. Le long d'un chemin à travers les circuits de logique, les circuits de logique sont convertis en ET et OU des livres, ou des blocs de circuits. Alors de diverses parties de ces livres sont comparées à une bibliothèque de ET/OU et OU/ET aux livres. Une liste de ces substitutions possibles de l'étape de comparaison est produite. À partir de la liste, un procédé de choix choisit ces substitutions fournissant un meilleur avantage de coût.