SYSTEMC事务级模型与RTL验证

1. SYSTEMC事务级模型

事务级模型使用软件函数调用来对系统中的块之间的通信进行建模。这与硬件RTL和门级模型形成对比，后者使用信号来模拟块之间的通信。

由于任何模型开发活动都需要大量的工作，因此希望在整个设计流程中最大程度地利用模型。设计人员自然希望重用他们为SOC开发的事务级模型，以协助RTL验证过程。例如，设计者可能希望将RTL HDL块插入到SystemC TLM模型中的其SOC上下文中，以验证系统级上下文中的正确操作。或者，设计者可能希望使用单独的事务级组件，如事务处理器，激励发生器，响应检查器，监视器和参考模型，以构建一个特定的测试台的RTL HDL块。

SystemC TLM模型的一个关键优势是其仿真速度。对于SystemC程序员而言，SOC的TLM模型通常以超过1兆赫的频率执行，并且即使使用SystemC TLM的SOCs的正确编码的周期精确模型也可以在100千赫的范围内执行。另一方面，即使是中等大小的块的RTL HDL模型，在使用软件模拟器时通常以小于1千赫的频率执行。

当然，当RTL HDL模型与使用软件仿真的SystemC TLM模型共同仿真时，RTL HDL模型的显著较慢的仿真速度通常将导致总执行速度在1千赫兹或更小的范围内。在某些情况下，这是可以接受的，并且可以在这些速度下实现有效的RTL验证。在其他情况下，用户对更高的模拟速度有非常强烈的期望。

今天，我们看到越来越多地使用硬件辅助仿真加速RTL HDL模型，这些模型与SystemC TLM模型一起进行仿真。通过利用SCEMI等行业标准接口将SystemC TLM测试台与在硬件加速器中模拟的RTL HDL模块集成，用户能够实现100 kHz范围内的整体模拟速度。