-
公开(公告)号：CN119597611A
公开(公告)日：2025-03-11
申请号：CN202311112199.2
申请日：2023-08-30
Applicant: 深圳引望智能技术有限公司
IPC: G06F11/3604
Abstract: 本申请提供一种模型检查方法以及装置，用于在进行设备验证时，可实现模型的并行检查，大大提高验证效率。该方法包括：获取模型集合，模型集合中包括多个编码模型，该多个编码模型分为在时钟节拍Tick维度不具有依赖关系的编码模型，也可以称为Tick维度上的不连续模型，以及在Tick维度具有依赖关系的编码模型，也可以称为Tick维度上的连续模型，该依赖关系为模型被执行时模型之间的执行顺序满足Tick连续递增的顺序；对模型集合进行模型检查，得到模型检查结果，模型检查结果用于表示多个编码模型中是否包括未通过验证的编码模型，其中，模型检查过程中，模型检查过程包括对在Tick维度不具有依赖关系的多个编码模型并行进行模型检查。
Search Results
1
records
(took 0.02 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
