I am using Timer0 for benchmarking and expected this timer to be running at 100Mhz. Using the profiler and analyzing CPU cycles it looks like it is running at 75Mhz. I could not find info for the rate in any documents, but looking at the configuration file "tisim_672x_cpu_simulator.cfg" it has a line "CLOCK_FREQ 100;".
I am using CCS4.