Builds an internal model of design behavior using synthesis technology
- Equations: Each signal value at a specific point in time is expressed as a function of other signal values at specific points in time
- Differentiates data from control signals
Uses simulation results
- Determine clocking
- Prune inactive elements
Examples of unrolling are loops and feedback.
Lets look at Verdi technologies.
The first one is behavior analysis. It builds an internal model of actual design behavior so it can unroll function over time and isolate data paths from control paths.
Then uses simulation results to determine clocking, like clock active edges. With the simulation results, Verdi can prune out the non-active elements so users can focus on the active paths during debugging.