CN119597611A 一种模型检查方法以及装置 （深圳引望智能技术有限公司）.docxVIP

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN119597611A

(43)申请公布日2025.03.11

(21)申请号202311112199.2

(22)申请日2023.08.30

(71)申请人深圳引望智能技术有限公司

地址518129广东省深圳市龙岗区坂田街

道万科城社区华为公司华为总部办公

楼101

(72)发明人毛侠孔辉管高扬

(74)专利代理机构深圳市深佳知识产权代理事务所(普通合伙)44285

专利代理师李杭

(51)Int.Cl.

G06F11/3604(2025.01)

权利要求书4页说明书27页附图8页

(54)发明名称

一种模型检查方法以及装置

(57)摘要

CN119597611A本申请提供一种模型检查方法以及装置，用于在进行设备验证时，可实现模型的并行检查，大大提高验证效率。该方法包括：获取模型集合，模型集合中包括多个编码模型，该多个编码模型分为在时钟节拍Tick维度不具有依赖关系的编码模型，也可以称为Tick维度上的不连续模型，以及在Tick维度具有依赖关系的编码模型，也可以称为Tick维度上的连续模型，该依赖关系为模型被执行时模型之间的执行顺序满足Tick连续递增的顺序；对模型集合进行模型检查，得到模型检查结果，模型检查结果用于表示多个编码模型中是否包括未通过验证的编码