Formal tuning animations!

EinsTuner Animations
The following are visualizations of the formal tuning algorithm on
increasingly complicated circuits, using EinsTuner.
This key will help explain what you see:
- The Z axis is delay, the arcs are "delays" through individual gates.
- The horizontal "planks" are arrival times.
- The critical paths are colored RED, non-critical paths are GREEN.
- The width of each arc represents the size of the gate.
- The curvature of each arc represents the local sensitivity of the
delay to transistors sizes.
- The X-Y locations of the arcs are chosen simply by sorting each
gate by its depth in the graph so that the timing of the circuit is
represented by a series of steps to be climbed. The most
critical delays are nearest to the viewer.
Now for the animations:
All animations created by Phillip Restle,
restle@us.ibm.com.
EDA/Research
EinsTuner team
Last modified: Fri Jun 1 16:20:38 EDT 2001