In some embodiments, the invention includes a method of regularity extraction including generating a set of templates for a circuit through computer automated operations on a description of the circuit. The method also includes covering the circuit with instances of a subset of the templates. In some embodiments, the set of templates includes single-principal output templates, where a single-principal output templates is a template in which all outputs of the template are in the transitive fanin of a particular output of the template. The set of templates may also include tree templates. In some embodiments, the set of templates is a complete set of templates given certain assumptions including that the set of templates include all maximal templates of involved classes of templates and a template is not generated through permuting gate inputs. In some embodiments, the covering of the circuit involves selecting one of the set of templates and meeting certain criteria and deleting all nodes in instances of the selected template. The covering may further include deleting the templates in the set of templates other than the selected templates and regenerating a new set of templates from the remaining uncovered circuit.

Dans quelques incorporations, l'invention inclut une méthode d'extraction de régularité comprenant produire d'un ensemble de calibres pour un circuit par des opérations automatisées par ordinateur sur une description du circuit. La méthode inclut également couvrir le circuit d'exemples d'un sous-ensemble des calibres. Dans quelques incorporations, l'ensemble de calibres inclut les calibres simple-principaux de rendement, où les calibres simple-principaux d'un résultat est un calibre dans lequel toutes les sorties du calibre sont dans l'entrance transitif d'un résultat particulier du calibre. L'ensemble de calibres peut également inclure des calibres d'arbre. Dans quelques incorporations, l'ensemble de calibres est un ensemble complet de calibres indiqués certaines prétentions comprenant cela que l'ensemble de calibres incluent tous les calibres maximaux des classes impliquées des calibres et un calibre n'est pas produit en permutant des entrées de porte. Dans quelques incorporations, la bâche du circuit implique de choisir un de l'ensemble de calibres et de rencontrer certains critères et de supprimer tous les noeuds dans les exemples du calibre choisi. La bâche peut plus loin inclure supprimer les calibres dans l'ensemble de calibres autres que les calibres choisis et régénérer un nouvel ensemble de calibres du circuit découvert restant.