Patent ID: 7840915

Claim:
A method for forming a bound network, comprising: decomposing an asynchronous input network to form a network of base functions, wherein the network of base functions is selected to include simple base functions that include two-input threshold OR functions and two-input threshold AND functions with hysteresis if the simple base functions would not create hazards in the network of base functions, and selected to include complex base functions if the simple base functions would create hazards in the network of base functions, generated during the decomposing; partitioning the network of base functions into at least one subject graph that includes a plurality of different portions, each portion of the at least one subject graph having a function; determining matches between the at least one subject graph and one or more pattern graphs; and forming the bound network by selecting at least one of the one or more pattern graphs to be used in the bound network for the function of each of the different portions of the at least one subject graph.