SoC设计4_系统要点.ppt

事务级建模介绍 事务是指模块之间的数据和事件的交互 数据交换可以是一个或多个字，或者是一种数据结构，而同步或者中断等则属于事件的交互 事务级建模核心概念是在一个系统建模的过程中将运算功能和通信功能分开，模块之间的通信透过函数调用来实现 与寄存器传输级模型相比较，事务级建模可以减少事件和信息的处理，而且事务级模型所需的程序代码更少，执行速度更快，并且能够根据实际需要提供足够的设计精度 事务级模型可以分为3种，即没有时序信息的模型、周期近似的模型和精确到每个周期的模型 没有时序信息的事务级模型的仿真速度要比RTL模型快1000～10000倍，带有时序信息的模型比RTL快100～1000倍，而精确到周期的模型比RTL快10～100倍 事务级建模的一般理论 事务级模型构成的一个简单的系统 事务级建模的一般理论 没有时间信息的计算或通信模型表示系统设计的功能描述，这些模型没有具体的实现细节 周期近似的计算或通信模型则包含系统级的实现细节如系统体系结构的选择、系统定义的功能和体系结构中模块的映射关系等 周期精确的运算和通信模型包含了系统级的实现细节如RTL级或指令级描述，因此可以得到周期精确的仿真结果 事务级建模的一般理论 Cajski及Cai的系统建模图 事务级建模的一般理论 由元件组装模型构成的系统 事务级建模的一般理论 由总线仲裁模型构成的系统 事务级建模的一般理论 总线功能模型 事务级建模标准——OCP-IP TLM抽象模型 OCP-IP的通信抽象层次 事务级建模标准——OSCI TLM 1.0抽象模型 OSCI提出的事务级抽象层次 OSCI TLM 1.0抽象模型 程序员观点层（Programmer’s View）。该层模型包含的接口只有函数调用而没有通信事件。这一层只带有很少的时序信息，通常与没有时间信息的功能行为描述相关 带有时间信息的程序员观点层（PVT，Programmer’s View plus Timing）：这是一个周期近似的事务级模型，用于建模功能行为和模块之间的通信协议。可以分析通信的时延和吞吐量，并可在软件开发和体系结构的验证中提供足够的仿真精度 周期精确层：这是一个周期精确的模型，模块的内部行为以及模块和外部的通信可以是周期总数精确或者周期完全精确的。模块内部的行为建模可以不对寄存器建模以提高仿真速度。这是一个事务级模型，在RTL抽象层之上。在通信建模中同一时钟边沿触发的多个信号可以包装在一起作为一个传输，因此仿真性能要比RTL抽象好 SystemC OSCI定义的基于SystemC的层次标准 SystemC通信机制的特点 功能与通信分离：实现具体算法的功能部分与实现数据和事件传输的部分分离。功能有 SystemC的模块（sc_module）来实现，而通信由通道（Channel）来实现 接口方法调用：一组给定的通信方法被称为接口，包括数据接口和控制接口。而通道由一个或者多个接口来实现。模块能够使用它们的端口来与实现相应接口的通道进行互连 OSCI TLM 2.0抽象模型 TLM 2.0标准的体系结构 OSCI TLM 2.0抽象模型 TLM 2.0通信中的前向和反向路径 OSCI TLM 2.0抽象模型 为了增强互操作性，TLM 2.0中发起事务的主设备和接收事务并作出响应的从设备必须遵循一定的接口标准，称为事务处理核心接口，包括阻塞传输接口、非阻塞传输接口、直接存储接口（DMI，Memory Interface）和调试传输接口（Debug Transport Interface） 阻塞和非阻塞传输接口是主设备、从设备之间进行事务处理的基本接口 直接存储接口允许主设备使用指针直接访问从设备所在的存储区域，而不需要使用如前所述的阻塞或非阻塞传输接口进行访问 调试传输接口为主设备提供了一个对从设备进行读写的方法，可以使主设备在仿真过程中对存储器、寄存器的内容进行扫描，可用于实现指令集仿真器ISS的单步、断点等调试功能 OSCI TLM 2.0抽象模型 TLM 2.0标准针对总线建模提出了通用Payload类，用于提高总线模型的互操作性 用Payload类提供了定义总线模型所需的基本属性（如地址、数据、字节使能、单字传输、突发传输、响应等），可方便、快捷地对当前已有的多数总线进行建模 通用Payload还提供了扩展机制，以满足某些总线标准的特定需求 OSCI TLM 2.0抽象模型 TLM 2.0标准对采用SystemC/C++进行高抽象层次建模的编码风格进行了规范，提出了松散时序（Loosely-timed）和近似时序（Approximately-timed）的编码风格 松散时序的编码风格主要使用阻塞传送接口，使用此种编码风格的模型对应了两个时间点，即事务处理的开始点和结束点 近似时序编码风格主要