一种通信协议的报文路径信息在混合语言验证系统中的提取方法技术方案

本发明专利技术提供了一种通信协议的报文路径信息在混合语言验证系统中的提取方法，该发明专利技术将报文路径信息在单独C++（SystemC）或是Verilog语言验证系统中提取，扩展到在C++（SystemC）和Verilog两种混合语言验证系统中提取并其输出在同一模块中，同时将带时序的Verilog语言验证环境中RTL（RegisterTransferLevel，寄存器传输级)仿真时间和不带时序的C++（SystemC）语言验证环境仿真时间进行相应调整，从而减少报文路径在图形显示时带来的混合语言验证系统中时间间隔过大的问题，保证了报文路径可视化的连续性，为通信协议在C++（SystemC）和Verilog两种混合语言验证环境间的仿真提供了重要的验证、测试辅助手段。

【技术实现步骤摘要】
【专利摘要】本专利技术提供了，该专利技术将报文路径信息在单独C++（SystemC）或是Verilog语言验证系统中提取，扩展到在C++（SystemC）和Verilog两种混合语言验证系统中提取并其输出在同一模块中，同时将带时序的Verilog语言验证环境中RTL（RegisterTransferLevel，寄存器传输级)仿真时间和不带时序的C++（SystemC）语言验证环境仿真时间进行相应调整，从而减少报文路径在图形显示时带来的混合语言验证系统中时间间隔过大的问题，保证了报文路径可视化的连续性，为通信协议在C++（SystemC）和Verilog两种混合语言验证环境间的仿真提供了重要的验证、测试辅助手段。【专利说明】
本专利技术涉及计算机体系结构中的多节点多处理器计算机系统CC-NUMA (CacheCoherent Non-Uniform Memory Access-Cache 一致性非一致内存访问)架构，CacheCoherence协议的多级一致性域，ASIC芯片，系统协议仿真测试方法，C++ (SystemC)和Verilog混合仿真验证系统。
技术介绍
当前多处理器之间的连接方式由总线连接转变为点对点连接，内存也从挂接处理器外部桥接芯片转变为直接挂接处理器。由于内存挂接方式的变化，从而多处理器系统中出现了 NUMA (Non-Uniform Memory Access-非一致内存访问)和 CC-NUMA (CacheCoherence Non-Uniform Memory Access-Cache 一致性-非一致性内存访问)等架构。基于扩展型Cache Coherence协议的多级一致性域CC-NUMA系统协议十分复杂，而基于此扩展协议定制化的ASIC NC节点控制器芯片在设计前期协议仿真尤为重要。如单独在C++和SystemC平台(未加入ASIC逻辑设计代码)的协议仿真，或是单独在ASIC逻辑设计ncverilog环境下的协议仿真。C++和SystemC平台主要侧重于协议功能性验证，它未加入时序逻辑，因而仿真速度快。ncverilog环境下主要是ASIC逻辑设计的RTL级仿真，它有时序约束，在协议验证时可以查看时序波形，但是在加入协议来验证逻辑代码时，如何快速定位协议仿真在RTL级代码中的传输却相对复杂。在协议仿真时C++ (SystemC )结合ncverilog将构成协议仿真混合语言验证系统。协议报文仿真在混合语言验证系统传输时需要在两种语言验证系统中互相通信，在协议仿真验证过程中，如何快速的定位协议仿真错误是在哪种语言仿真验证系统中产生的，将对协议仿真验证和测试效率提升起到关键性作用，同时大大缩短了 ASIC逻辑设计RTL级全系统协议仿真验证的时间。
技术实现思路
本专利技术的目的是提供。本专利技术的目的是按以下方式实现的，具体步骤如下: (1)在混合语言验证系统中进行全系统协议仿真，首先在C++(SystemC )语言验证部分加入协议仿真报文路径信息提取模块，提取模块的主要信息有Clump号，仿真起止时间，报文传输类型，发送与接收节点，报文传输ID号，延时信息等，采用SC_METH0D进程监控报文传输，不同Clump节点使用不同的sc_fifo容器记录报文传输信息； (2)在混合语言验证系统中进行全系统协议仿真时，NCVerilog语言验证部分加入协议仿真报文路径信息提取模块。模块的主要信息有Clump号，仿真起止时间，报文传输类型，发送与接收节点，报文传输ID号，延时信息等，提取全系统协议仿真报文在RTL级NC(Node Controller,节点控制器)NCO-NCl背靠背之间传输的路径信息，也能扩展到多个NC间的传输； (3) 将以上信息提取模块中的仿真时间同比例缩小调整，然后再将报文在C++(SystemC)验证系统中传输的终止时间加固定值valuel,将报文在NCVerilog验证系统中传输的起始时间减value2,终止时间加value3 ； (4)混合语言验证系统将全系统协议仿真时产生的协议仿真报文路径信息统，C++(SystemC)验证系统和Verilog验证系统的报文路径信息提取后统一输出到同一文档中，文档类型为.0ut，通过协议报文仿真路径可视化图形子系统生成的.exe可执行文件调用a.0ut文档，显示报文路径图形，通过生成的报文路径信息图形进行查看报文传输路径。 (SystemC)语言验证部分包括以下内容: (1)在C++(SystemC)语言验证环境中加入协议仿真报文路径信息提取模块，信息中Clump号设置为0、1 ; O表示报文在ClumpO内的BFMO、BFMl和RTL NCO间传输，I表示报文在Clumpl内的BFM2、BFM3和RTL NCO间传输； (2)仿真起始时间，报文传输类型，发送与接收节点，报文传输ID号，延时信息等取混合语言验证系统中的实际值，仿真时间输出实际仿真时间； (3)采用两个SC_METH0D进程监控报文传输，一个监控ClumpO，另一个监控Clumpl，ClumpO与Clumpl分别使用不同的sc_fifo容器记录报文传输信息，记录信息中有Clump号、报文仿真起始时间、报文传输类型、发送与接收节点、报文传输ID号和延时信息，报文仿真结束时间不记录在内，报文仿真结束时间去每条报文结束时写向.0ut文档时刻的时间； (4)报文路径信息在仿真过程中输出到a.0ut文档里； (5)NCVerilog语言验证部分加入协议仿真报文路径信息提取模块，主要信息中Clump号设置为4 ；4是表不报文在Clump之间的传输，即是NCO与NCl间通过NI的传输； (6)仿真起始和结束时间，报文传输类型，发送与接收节点，报文传输ID号,延时信息取混合语言验证系统中的实际值，仿真时间输出实际仿真时间； (7)根据报文种类，设置不同的报文传输通道监控，每一种传输通道在NCO与NCl背靠背传输过程中只允许通过与通道类型相同的特定报文，利用每种报文类型在对应的传输通道NI处是采用先进先出的原则:即是说NCO发向NCl的报文packl，通道类型为channell，只要经过了 NI通道，那么在某一时刻NCl的通道channell接收的一个由NI发送过来的报文，那么此报文肯定为报文packl，在整个NC节点控制上报文传输不满足(3)所述情况，但在NI中?两足； (8)报文路径信息在仿真过程中输出到a.0ut文档里； (9)在混合语言验证仿真系统中进行全系统RTL级协议仿真后，生成a.0ut文档，通过协议报文仿真路径可视化图形子系统生成的.exe文件调用a.0ut文档，生成的协议报文路径示意图，此图比较实际的反应了协议报文仿真时间和报文路径信息； (10)在协议报文路径示意图的基础的上，修改混合语言验证仿真系统的仿真时间，将仿真时间同比例缩小调整，然后再将报文在C++ (SystemC)验证系统中传输的终止时间加固定值valuel,将报文在NCVerilog验证系统中传输的起始时间减value2,终止时间加value30生成的协议报文路径示意图，此图更利于可视化，适合协议规则检查和验证。本专利技术的有益效果是: (1)解决了C++ (本文档来自技高网...

【技术保护点】
一种通信协议的报文路径信息在混合语言验证系统中的提取方法，其特征在于具体步骤如下：（1）在混合语言验证系统中进行全系统协议仿真，首先在C++（SystemC?）语言验证部分加入协议仿真报文路径信息提取模块，提取模块的主要信息有Clump号，仿真起止时间，报文传输类型，发送与接收节点，报文传输ID号，延时信息等，采用SC_METHOD进程监控报文传输，不同Clump节点使用不同的sc_fifo容器记录报文传输信息；（2）在混合语言验证系统中进行全系统协议仿真时，NCVerilog语言验证部分加入协议仿真报文路径信息提取模块，模块的主要信息有Clump号，仿真起止时间，报文传输类型，发送与接收节点，报文传输ID号，延时信息等，提取全系统协议仿真报文在RTL级?NC（Node?Controller，节点控制器）NC0?NC1背靠背之间传输的路径信息，也能扩展到多个NC间的传输；（3）将以上信息提取模块中的仿真时间同比例缩小调整，然后再将报文在C++（SystemC）验证系统中传输的终止时间加固定值value1，将报文在NCVerilog验证系统中传输的起始时间减value2,终止时间加value3；（4）混合语言验证系统将全系统协议仿真时产生的协议仿真报文路径信息统，C++（SystemC）验证系统和Verilog验证系统的报文路径信息提取后统一输出到同一文档中，文档类型为.out，通过协议报文仿真路径可视化图形子系统生成的.exe可执行文件调用a.out文档，显示报文路径图形，通过生成的报文路径信息图形进行查看报文传输路径。...

【技术特征摘要】

【专利技术属性】
技术研发人员：陈继承，甘小伟，周恒钊，张峰，赵元，符云越，
申请(专利权)人：浪潮电子信息产业股份有限公司，
类型：发明
国别省市：