Relevant logic cells and waveforms of a circuit are automatically identified, traced and displayed by using conventional simulation, schematic viewing and waveform viewing tools. The input and output waveforms to and from each logic cell and a transition and a transition time point of each waveform are derived. The output waveform and a selected transition time point identify a predictive input waveform and its transition time, which cause the output signal transition at the selected transition time point. The predictive input signal is the output signal of a preceding, predictive logic cell, thereby identifying the preceding predictive logic cell. Repetitions of this procedure are performed with each new identified predictive logic cell to automatically derive a series or logic cone of cells. Timing margin (set up and hold time) and signal skew (change in signal timing) are derived under best and worst case functional conditions by determining differences in the transition times of the predictive input waveforms for the cells of the logic cone.

Las células de la lógica y las formas de onda relevantes de un circuito son identificadas, remontadas y exhibidas automáticamente usando la simulación convencional, las herramientas esquemáticas de la visión y de la visión de la forma de onda. Las formas de onda de la entrada y de la salida a y desde cada célula de la lógica y una transición y un punto del tiempo de la transición de cada forma de onda se derivan. La forma de onda de la salida y un punto seleccionado del tiempo de la transición identifican una forma de onda profética de la entrada y su tiempo de la transición, que causan la transición de señal de salida en el punto seleccionado del tiempo de la transición. La señal de entrada profética es la señal de salida de preceder, célula profética de la lógica, de tal modo identificando la célula profética precedente de la lógica. Las repeticiones de este procedimiento se realizan con cada nueva célula profética identificada de la lógica para derivar automáticamente un cono de la serie o de la lógica de células. El margen de la sincronización (instalado y el tiempo de asimiento) y la posición oblicua de la señal (cambio en la sincronización de la señal) son derivados bajo condiciones funcionales del caso mejor y peor determinando diferencias en los tiempos de la transición de las formas de onda proféticas de la entrada para las células del cono de la lógica.