What are the Cycle based simulators
Cycle based simulators are more like a high speed electric carving knife in comparison since they focus on a subset of the biggest problem: logic verification.
Cycle based simulators are almost invariably used along with Static Timing verifier to compensate for lost timing information coverage.