A single pattern-matching algorithm which allows both exact and inexact pattern-matching so that transistor-level design automation tools can reliably perform timing analysis, electrical rules checking, noise analysis, test pattern generation, formal design verification, and the like prior to manufacturing custom logic. The user (circuit designer) specifies which of each of the pattern external nets may be matched inexactly (attached to Vdd, attached to GND, and shorted to other external nets), with the remainder of the pattern external net connections being matched using exact isomorphism constraints. The method described herein achieves a substantial reduction in the number of patterns which circuit designers must generate, and altogether eliminates the need for an exponential number of patterns by providing an inexact pattern matcher to circuit designers. It further provides rooted sub-graph isomorphism so that a user can query whether a particular pattern is embedded at a particular location in the main circuit design, utilizing inexact sub-graph isomorphism

Одиночный картин-sopr4ga4 алгоритм позволяет и точно и inexact картин-sopr4gat6 так, что инструменты автоматизации конструкции транзистор-urovn4 смогут надежно выполнить анализ времени, электрические правила проверяя, анализ шума, поколение телевизионнаяа испытательная таблица, официально проверку конструкции, и подобие до логики таможни изготавливания. Потребитель (конструктор цепи) определяет из каждая из сетей картины внешних может быть сопрягано inexactly (прикреплено к Vdd, прикреплено к земле, и замкнуто накоротко к другим внешним сетям), с остатком будучи сопряганным соединений картины внешних сетчатых использующ точно ограничения по однокачественности. Метод описанный здесь достигает существенное сокращение в числе картин обходят вокруг конструкторов должны произвести, и altogether исключают потребность для степенного количества картин путем снабубежать inexact согласователя картины конструкторы цепи. Он более добавочно обеспечивает укорененную однокачественность подграфы так, что потребитель сможет запросить врезана ли определенная картина на определенном положении в главным образом конструкции цепи, использующ inexact однокачественность подграфы