Cycle Model Studio提供了一个集成环境，将系统验证与硬件开发流程并行。Cycle Model Stu dio中的Cycle Model Compiler采用RTL硬件模型，并创建一个高性能可链接对象，称为Cycle Model，它既精确于循环，又精确于寄存器。循环模型提供了与验证环境对接的功能。
此外，Cycle Model Studio可以编译与特定设计平台兼容的模型，如SoC Designer、Synopsys Platform Architect和SystemC。
Cycle Model Studio支持各种编译和运行时函数。编译函数包括：
