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.