A logic network is simulated, including partitioning logic operations into
domains and ranking the operations. Some operations are dependent on
source operations from other domains. Pairs of operations having common
dependencies are then separated by at least as many operations as the
total number of operations in the domains of the respective source
operations. All operations are then merged into an order having a certain
relation to the respective domain orderings, but omitting nop's inserted
to achieve desired separation. Then pairs of operations having common
dependency are again separated, this time making advantageous use of
overlaps, so that nop's are reduced, to improve simulation time. Due to
separations, after one value is computed for one instance of an operation
depending on a source operation, a next value is computed for the source
operation before computing the next instance of an operation depending on
the source operation.
Una red de la lógica se simula, incluyendo operaciones de la lógica que reparten en dominios y alinear las operaciones. Algunas operaciones son dependientes en operaciones de la fuente de otros dominios. Los pares de operaciones que tienen dependencias comunes entonces son separados por por lo menos tantas operaciones como el número total de operaciones en los dominios de las operaciones respectivas de la fuente. Todas las operaciones entonces se combinan en una orden que tiene cierta relación a los orderings respectivos del dominio, pero omitir los nop insertados para alcanzar deseó la separación. Entonces los pares de operaciones que tienen dependencia común se separan otra vez, este vez que hace el uso ventajoso de traslapos, para reducir los nop, de mejorar tiempo de la simulación. debido a las separaciones, después de que un valor se compute para un caso de una operación dependiendo de una operación de la fuente, un valor siguiente se computa para la operación de la fuente antes de computar el caso siguiente de una operación dependiendo de la operación de la fuente.
