买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉西安路科验视集成电路技术咨询有限公司申请的专利一种面向串行设计的可扩展形式验证方法及测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115630010B 。

龙图腾网通过国家知识产权局官网在2026-04-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211288742.X，技术领域涉及：G06F13/42；该发明授权一种面向串行设计的可扩展形式验证方法及测试方法是由张牧翔;柘腾设计研发完成，并于2022-10-20向国家知识产权局提交的专利申请。

本一种面向串行设计的可扩展形式验证方法及测试方法在说明书摘要公布了：本发明公开了一种面向串行设计的可扩展形式验证方法及测试方法，通过选取一个多输入通道、多输出通道的串行设计的任一路径进行建模，预先确定一个标记数据包或单个数据，在其进入和离开DUT时对其观察，在数据输入的过程中，采用事务计数器获取被标记的数据值之前有多少个数据输入，根据事务计数器获取的被标记数据值之前输入的数据数量，预测被标记的数据值出现在输出端口的时刻，并在这个时刻进行数据检查，重复进行上述步骤，获取所有被标记数据值和所有被标记数据值进入和离开DUT时的数据检查结果，并将所有被标记数据值从DUT内部插入，可以遍历所有可能的状态，并且完成了在整个数据传输路径中检查出了所有数据包的丢失、重新排序和重复等问题。

本发明授权一种面向串行设计的可扩展形式验证方法及测试方法在权利要求书中公布了：1.一种面向串行设计的可扩展形式验证方法，其特征在于，包括以下步骤： S1：选取一个多输入通道、多输出通道的串行设计的任一路径进行建模，预先确定一个标记数据包或单个数据，在其进入和离开DUT时对其观察，在数据输入的过程中，采用事务计数器获取被标记的数据值之前的数据输入数量再采用事物计数器预测被标记的数据值出现在输出端口的时刻，并在这个时刻进行数据检查； S2：重复进行S1，获取所有被标记数据值和所有被标记数据值进入和离开DUT时的数据检查结果，并将所有被标记数据值从DUT内部插入，实现对整个设计空间的全面覆盖； 采用事务计数器获取被标记的数据值之前的数据输入数量再采用事物计数器预测被标记的数据值出现在输出端口的时刻，并在这个时刻进行数据检查具体为： 对于非尾部数据的检查，使用一个循环对数据检查的属性进行建模，循环次数由标记的数据包中数据量所决定，在每次循环中，由输出采样计数器的值和四组采样寄存器的状态作为判断条件，只有当输入起始寄存器、输入完成寄存器、输出起始寄存器同时完成采样，且输出完成寄存器未采样时，根据输出采样计数器的值对对应标记数据和实际输出数据进行对比检查，对于尾部数据的检查，只需要对一条数据检查的属性进行建模，由输出采样计数器的值和四组采样寄存器的状态作为判断条件，只有当输入起始寄存器、输入完成寄存器、输出起始寄存器同时完成采样，且等待到输出完成寄存器的采样上升沿时，根据输出采样计数器的值对对应标记尾部数据和实际输出尾部数据进行对比检查。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安路科验视集成电路技术咨询有限公司，其通讯地址为：710000 陕西省西安市高新区天谷八路156号西安软件新城研发基地2期B2座11层1106；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。