【技术实现步骤摘要】
混合协议转换设计的验证方法、装置、设备及存储介质
本专利技术涉及网络通信
，尤其涉及一种混合协议转换设计的验证方法及系统。
技术介绍
混合协议转换设计包括针对RapidIO、PCIE、Ethernet、FibreChannel及自定义协议等通信协议的互相转换，设计复杂度极高。在混合协议转换设计完成后，需要对其进行验证，以确保混合协议转换设计安全可靠。目前针对混合协议转换设计的常规验证方式是搭建基于UVM(UniversalVerificationMethodology)验证方法学的验证平台，验证平台包括激励产生器、配置产生器、参考模型、自动比较器四个部件。其中激励产生器根据各协议定义的报文格式，随机产生各协议报文，输入到混合协议转换设计中；配置产生器根据混合协议转换设计的工作场景生成各转换表项的配置内容，配置到混合协议转换设计中；参考模型把混合协议转换设计的功能进行抽象，用SystemVerilog等高级语言实现与设计相同的功能，将输入报文经协议转换处理后输出到自动比较器中，作为转换结果的预期；自动比较器将转换...
【技术保护点】
1.一种混合协议转换设计的验证方法，其特征在于，包括：/n根据所述混合协议的激励输入形态和约束条件以及所对应的输入接口，生成各接口对应的约束断言；/n根据所述混合协议的各输出口的输出形态和预期格式，生成各接口对应的检查断言；/n确定所述验证对象的时钟信号和复位信号；/n将激励输入信号输入到所述混合协议转换设计中，所述激励输入信号包括：约束断言、时钟信号和复位信号；/n接收输出结果，根据所述输出结果与检查断言的比较结果得到验证结果。/n
【技术特征摘要】
1.一种混合协议转换设计的验证方法，其特征在于，包括：
根据所述混合协议的激励输入形态和约束条件以及所对应的输入接口，生成各接口对应的约束断言；
根据所述混合协议的各输出口的输出形态和预期格式，生成各接口对应的检查断言；
确定所述验证对象的时钟信号和复位信号；
将激励输入信号输入到所述混合协议转换设计中，所述激励输入信号包括：约束断言、时钟信号和复位信号；
接收输出结果，根据所述输出结果与检查断言的比较结果得到验证结果。
2.根据权利要求1所述的方法，其特征在于，所述根据所述混合协议的激励输入形态和约束条件以及所对应的输入接口，生成各接口对应的约束断言，包括：
基于混合协议中各协议文档明确包格式，获取验证对象的协议包激励输入形态和约束条件；
并根据所述混合协议中各协议文档对应相应的输入接口，并生成相应的约束断言。
3.根据权利要求1所述的方法，其特征在于，所述根据所述混合协议的各输出口的输出形态和预期格式，生成各接口对应的检查断言，包括：
基于各协议文档明确包格式，明确验证对象的协议包输出形态和预期格式；
并根据所述混合协议中各协议文档对应相应的输出接口，并生成相应的检查断言。
4.根据权利要求1所述的方法，其特征在于，所述根据所述输出结果与检查断言的比较结果得到验证结果，包括：
在各种约束断言输入时，所有输出结构符合相应的检查断言，则验证结果为完全通过。
5.根据权利要求1所述的方法，其特征在于，所述将激励输入信号输入到所述混合协议转换设计中，包括：
设定运行时间；
相应的，所述根据所述输出结果与检查断言的比较结果得到验证结果，包括：
在运行时间到达时，所有输出结果均满足检查断言，则所述验证结果为未完全证明。
6.根据权利要求1所述的方法，其特征在于，所述将激励输入信号输入到所述混合协议转换设计中，包括：
...
【专利技术属性】
技术研发人员：徐庆阳，刘勤让，沈剑良，刘冬培，吕平，宋克，朱珂，钟丹，杨晓龙，宋刚，杨堃，王盼，汪欣，丁青子，黑建平，
申请(专利权)人：天津市滨海新区信息技术创新中心，天津芯海创科技有限公司，
类型：发明
国别省市：天津;12
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。