Next:
Saturating a system
Up:
The Interaction Cycle
Previous:
Selecting the output information
Contents
Selecting timing points
The command
satp
allows to profile execution times for the main saturation modules.
Harald Ganzinger 2002-12-04
Imprint
|
Data Protection
