
CIF 3
The CIF 3 simulator has a Profiling option (Simulator category). If the option is enabled, information about the number of transitions taken per second, is printed to the console. Enabling profiling disables most other types of console output. By default, profiling is disabled.
The profiling output looks somewhat like this:
750431.42 transitions/second 640589.87 transitions/second 890939.01 transitions/second 887228.57 transitions/second 890143.25 transitions/second 893674.44 transitions/second 891812.69 transitions/second