A method, system, and library for generating high-speed logic circuits with reduced path depths even in cases when a critical path diverges into a plurality of paths that eventually converge. By replacing the gates of a logic circuit by selectors with two inputs and one output, a selector-based circuit is generated where a local circuit between the path divergence node and convergence node is detected. The stages of the critical path are reduced by replacing the local circuit by a logically equivalent selector with two inputs and one output; wherein one input of the selector is controlled by a circuit formed by inputting a logical value of "0" to the divergence node from which the local circuit is developed and a second input of the selector is controlled by a circuit formed by inputting a logical value of "1" to the divergence node.

Un metodo, un sistema e una biblioteca per la generazione dei circuiti logici ad alta velocità con le profondità ridotte del percorso anche nei casi quando un percorso critico diverge in una pluralità di percorsi che finalmente convergono. Sostituendo i cancelli di un circuito logico dai selettori con due input e da uno produca, un circuito selettore-basato è generato dove un circuito locale fra il nodo di divergenza del percorso ed il nodo di convergenza è rilevato. Le fasi del percorso critico sono ridotte sostituendo il circuito locale da un selettore logicamente equivalente con due input ed uno prodotto; in cui un input del selettore è controllato da un circuito costituito dall'immissione del valore logico "di 0" al nodo di divergenza da cui il circuito locale è sviluppato e un secondo input del selettore è controllato da un circuito costituito dall'immissione del logico stima "di 1" al nodo di divergenza.