A method of analyzing a circuit having at least one structural loop within a channel connected component first requires that the circuit be at least partly notionally split into its constituent channel connected components (100). The structural loops within a channel-connected component are then detected and a pair of temporary boolean variables is inserted at a break point in each structural loop in the channel-connected component at an internal input. The channel connected component is then analyzed utilizing the pairs of temporary boolean variables at the break points in order to obtain a pair of boolean equations at each break point representing the functionality of the channel connected component at that break point to produce a system of boolean equations for the break points within the channel connected component (101). The system of boolean equations is then solved to produce a result that indicates whether the channel connected component has oscillatory, combinational or sequential behavior.

Um método de analisar um circuito que tem ao menos um laço estrutural dentro de um componente conectado canaleta requer primeiramente que o circuito ao menos esteja rachado em parte notionally em seus canaleta constituent componentes conectados (100). Os laços estruturais dentro de um componente canaleta-conectado são detectados então e um par de variáveis booleanas provisórias é introduzido em um ponto de ruptura em cada laço estrutural no componente canaleta-conectado em uma entrada interna. O componente conectado canaleta é analisado então que utiliza os pares de variáveis booleanas provisórias nos pontos de ruptura a fim obter um par de equações booleanas em cada ponto de ruptura que representa a funcionalidade do componente conectado canaleta nesse ponto de ruptura para produzir um sistema de equações booleanas para os pontos de ruptura dentro do componente conectado canaleta (101). O sistema de equações booleanas é resolvido então para produzir um resultado que indique se o componente conectado canaleta tem o comportamento oscilatório, combinational ou seqüencial.