建模模型时间说明

Un-Timed（UT）：一种建模风格，其中没有明确提及时间或周期，但包括并发性和操作顺序。在没有明确时间概念的情况下，应使用事件、互斥和阻塞FIFO等同步原语来完成多个并发线程之间的操作排序。一些用户采用在无计时描述中插入随机延迟的做法来测试其协议的鲁棒性，但这种做法并没有改变建模风格的基本特征。

松散时间（LT）：一种表示最小时间信息的建模风格，仅足以支持启动操作系统所需的功能，并在这些线程之间没有显式同步的情况下管理多个线程。松散定时模型可以包括定时器模型和概念仲裁间隔或执行时隙长度。一些用户采用在松散时间描述中插入随机延迟的做法来测试其协议的鲁棒性，但这种做法并没有改变建模风格的基本特征。

近似定时（AT）：一种建模风格，在模型的外部可观察状态和一些相应的详细参考模型的状态之间存在一对一的映射，使得映射保留了状态转换的顺序，但没有保留其精确的时间。计时准确度未定义。

循环精确（CA）：一种建模风格，可以在模型的外部边界预测模型在任何给定循环中的状态，从而在每个循环中建立模型状态与相应RTL模型的外部可观察状态之间的一一对应关系，但不需要显式重新评估每个循环中整个模型的状态或显式表示每个边界引脚或内部寄存器的状态。该术语仅适用于具有循环概念的模型。

https://www.accellera.org/images/downloads/standards/systemc/SystemC_Synthesis_Subset_1_4_7.pdf