一种网络互连芯片的可复用模型验证方法技术

本发明专利技术公开了一种网络互连芯片的可复用模型验证方法，该方法包括：在模型构造阶段将芯片模型与互连网络模型进行区分，按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述；利用芯片模型和互连网络模型搭建仿真验证平台，进行模型验证；其中，仿真验证平台按照实际RTL验证的标准进行配置；在芯片的RTL代码完成之后，将仿真验证平台中的芯片模型替换成芯片的RTL代码，复用仿真验证平台，进行RTL验证。该方法实现提高模型验证的可复用程度，缩短验证周期的时间，提高验证效率。

【技术实现步骤摘要】

本专利技术涉及芯片验证
，特别是涉及一种网络互连芯片的可复用模型验证方法。
技术介绍
目前，随着工艺技术以及应用领域的不断发展，芯片的复杂度不断提高，相对应的，验证工作的复杂度也不断提高，验证工作耗费的时间日益成为芯片研发周期的瓶颈。于是，如何尽可能早地开展验证，以及如何系统地进行验证工作避免重复无效的验证工作，成为优化芯片验证工作，缩短芯片研发周期的一个重要方向。一般的，采用模型验证，成为逻辑比较复杂的芯片验证的一个必然选择。模型验证，指的是在设计的初始阶段，当RTL设计刚开始甚至还没有开始的时候，通过抽象程度比较高的行为级描述语言，按照设计文档规定的功能特性，实现一个建模的过程。然后对模型进行搭建验证环境，构造测试激励，进行验证。这样的好处是能尽早地发现一些设计上的错误。但是，为了实现的方便，纯粹采用行为级描述构造的模型，与实际RTL设计在结构上区别非常大。最明显的一点就是行为级模型不需要考虑模块划分的问题，也不会有对应的RTL模块间的接口信号，这样带来的不利影响是给包括环境搭建、系统配置以及测试激励的整个模块验证的各种要素的复用带来困难，即模型验证之后进行的RTL验证不能采用模型验证建立的验证平台，RTL验证的过程不能复用模型建立的验证平台，可复用性很低，还需要重新设置适用于RTL验证的验证平台，这样RTL验证过程时间会较长，整个验证周期时间太长。
技术实现思路
本专利技术的目的是提供一种网络互连芯片的可复用模型验证方法，以实现提高模型验证的可复用程度，缩短验证周期的时间，提高验证效率。为解决上述技术问题，本专利技术提供一种网络互连芯片的可复用模型验证方法，该方法包括：在模型构造阶段将芯片模型与互连网络模型进行区分，按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述；利用芯片模型和互连网络模型搭建仿真验证平台，进行模型验证；其中，仿真验证平台按照实际RTL验证的标准进行配置；在芯片的RTL代码完成之后，将仿真验证平台中的芯片模型替换成芯片的RTL代码，复用仿真验证平台，进行RTL验证。优选的，所述利用芯片模型和互连网络模型搭建仿真验证平台，包括：利用芯片模型和互连网络模型搭建仿真环境，并建立测试激励和自动化监测机制环境。优选的，仿真环境、测试激励和自动监测机制环境均按照RTL验证的标准进行建立。优选的，复用仿真验证平台，进行RTL验证，包括:复用仿真验证平台中的仿真环境和测试激励，进行RTL验证。优选的，所述在模型构造阶段将芯片模型与互连网络模型进行区分之前，还包括：在芯片设计RTL实现阶段根据芯片总体设计对芯片进行建模，构造芯片模型；基于芯片模型和系统设计对芯片的互连网络进行建模，构造互连网络模型。优选的，所述利用芯片模型和互连网络模型搭建仿真验证平台之后，还包括：为仿真验证平台添加所需要的自动化检查和验证机制。优选的，所述自动检查和验证机制包括对接口上传输数据的检查和对fifo或者ram中存取的数据监测。优选的，所述按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述，包括：在芯片模型的建模过程中，对于芯片模型与互连网络模型的接口部分，采用与实际RTL代码相一致的寄存器级的描述来实现。本专利技术所提供的一种网络互连芯片的可复用模型验证方法，在模型构造阶段将芯片模型与互连网络模型进行区分，按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述；利用芯片模型和互连网络模型搭建仿真验证平台，进行模型验证；其中，仿真验证平台按照实际RTL验证的标准进行配置；在芯片的RTL代码完成之后，将仿真验证平台中的芯片模型替换成芯片的RTL代码，复用仿真验证平台，进行RTL验证。可见，将芯片模型从整个系统模型中独立出来，并按照RTL验证的标准对其接口进行修改，采用寄存器级的描述来实现芯片模型的接口，这样后期能直接用对应的RTL代码替代芯片模型，同时对整个验证平台的其它要素，都按照RTL验证的标准进行配置，通过细化在模型验证阶段的工作，使模型验证在构造模型、环境搭建与激励设计等方面尽量向RTL代码验证的标准统一，以实现所有的或者大部分验证要素的复用，可复用的验证元素可以很明显地减少RTL验证的前期工作，缩短RTL验证的时间，缩短整个验证周期的时间，所以该方法实现提高模型验证的可复用程度，验证周期的时间，提高验证效率。附图说明为了更清楚地说明本专利技术实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本专利技术的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。图1为本专利技术所提供的一种网络互连芯片的可复用模型验证方法流程图；图2为传统模型验证平台基本结构示意图；图3为传统RTL验证平台基本结构示意图；图4为可复用模型验证平台基本结构示意图。具体实施方式本专利技术的核心是提供一种网络互连芯片的可复用模型验证方法，以实现提高模型验证的可复用程度，缩短验证周期的时间，提高验证的工作效率。为了使本
的人员更好地理解本专利技术方案，下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本专利技术一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本专利技术保护的范围。请参考图1，图1为本专利技术所提供的一种网络互连芯片的可复用模型验证方法流程图，该方法包括：S11：在模型构造阶段将芯片模型与互连网络模型进行区分，按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述；S12：利用芯片模型和互连网络模型搭建仿真验证平台，进行模型验证；其中，仿真验证平台按照实际RTL验证的标准进行配置；S13：在芯片的RTL代码完成之后，将仿真验证平台中的芯片模型替换成芯片的RTL代码，复用仿真验证平台，进行RTL验证。可见，将芯片模型从整个系统模型中独立出来，并按照RTL验证的标准对其接口进行修改，采用寄存器级的描述来实现芯片模型的接口，这样后期能直接用对应的RTL代码替代芯片模型，同时对整个验证平台的其它要素，都按照RTL验证的标准进行配置，通过细化在模型验证阶段的工作，使模型验证在构造模型、环境搭建与激励设计等方面尽量向RTL代码验证的标准统一，以实现所有的或者大部分验证要素的复用，可复用的验证元素可以很明显地减少RTL验证的前期工作，缩短RTL验证的时间，缩短整个验证周期的时间，所以该方法实现提高模型验证的可复用程度，验证周期的时间，提高验证效率。基于上述方法，具体的，步骤S12中利用芯片模型和互连网络模型搭建仿真验证平台的过程具体为：利用芯片模型和互连网络模型搭建仿真环境，并建立测试激励和自动化监测机制环境。其中，仿真环境、测试激励和自动监测机制环境均按照RTL验证的标准进行建立。步骤S11中，具体是在芯片模型的构造阶段，将芯片模型和互连网络模型区分开来，然后按照实际RTL验证的标准对接口进行寄存器级的描述描述，即采用RTL验证的标准来形成芯片模型的接口。实际RTL验证的标准就是表示RTL验证的标准。步骤S13中复用仿真验证平台，进行RTL验证的过程具体为：复用仿真验证平台中的仿真环本文档来自技高网...

【技术保护点】
一种网络互连芯片的可复用模型验证方法，其特征在于，包括：在模型构造阶段将芯片模型与互连网络模型进行区分，按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述；利用芯片模型和互连网络模型搭建仿真验证平台，进行模型验证；其中，仿真验证平台按照实际RTL验证的标准进行配置；在芯片的RTL代码完成之后，将仿真验证平台中的芯片模型替换成芯片的RTL代码，复用仿真验证平台，进行RTL验证。

【技术特征摘要】
1.一种网络互连芯片的可复用模型验证方法，其特征在于，包括：在模型构造阶段将芯片模型与互连网络模型进行区分，按照实际RTL验证的标准对芯片模型的接口进行寄存器级的描述；利用芯片模型和互连网络模型搭建仿真验证平台，进行模型验证；其中，仿真验证平台按照实际RTL验证的标准进行配置；在芯片的RTL代码完成之后，将仿真验证平台中的芯片模型替换成芯片的RTL代码，复用仿真验证平台，进行RTL验证。2.如权利要求1所述的方法，其特征在于，所述利用芯片模型和互连网络模型搭建仿真验证平台，包括：利用芯片模型和互连网络模型搭建仿真环境，并建立测试激励和自动化监测机制环境。3.如权利要求2所述的方法，其特征在于，仿真环境、测试激励和自动监测机制环境均按照RTL验证的标准进行建立。4.如权利要求2所述的方法，其特征在于，复用仿真验证平台，进行RTL验证，包括:复用仿真验证平台中的仿真环境和...

【专利技术属性】
技术研发人员：李拓，周恒钊，符云越，
申请(专利权)人：浪潮北京电子信息产业有限公司，
类型：发明
国别省市：北京;11