-
Patent Agency Ranking
公开(公告)号：CN115794477B
公开(公告)日：2023-05-23
申请号：CN202310054470.5
申请日：2023-02-03
Applicant: 北京智芯微电子科技有限公司 , 北京大学
Abstract: 本发明公开了一种程序的时间约束方法、装置、芯片、电子设备及存储介质。程序包括目标代码块、设于目标代码块的开始位置的第一时间约束指令和设于目标代码块的结束位置的时间检测指令，方法包括：执行第一时间约束指令，得到目标代码块的最大允许执行时长；执行目标代码块；执行时间检测指令，以在基于最大允许执行时长确定目标代码块执行超时时，进行超时异常提醒。由此，能够及时进行目标代码块的超时提醒，更合理且高效地实现资源的调度，以保证不同关键级别的任务都能够满足时间约束，提升了时序控制的精确度。
-
公开(公告)号：CN115794477A
公开(公告)日：2023-03-14
申请号：CN202310054470.5
申请日：2023-02-03
Applicant: 北京智芯微电子科技有限公司 , 北京大学
Abstract: 本发明公开了一种程序的时间约束方法、装置、芯片、电子设备及存储介质。程序包括目标代码块、设于目标代码块的开始位置的第一时间约束指令和设于目标代码块的结束位置的时间检测指令，方法包括：执行第一时间约束指令，得到目标代码块的最大允许执行时长；执行目标代码块；执行时间检测指令，以在基于最大允许执行时长确定目标代码块执行超时时，进行超时异常提醒。由此，能够及时进行目标代码块的超时提醒，更合理且高效地实现资源的调度，以保证不同关键级别的任务都能够满足时间约束，提升了时序控制的精确度。
-
公开(公告)号：CN114817910A
公开(公告)日：2022-07-29
申请号：CN202210489619.8
申请日：2022-05-06
Applicant: 北京智芯微电子科技有限公司 , 武汉大学 , 国网宁夏电力有限公司营销服务中心(国网宁夏电力有限公司计量中心) , 国家电网有限公司
Abstract: 本发明公开了一种程序缓存泄露的检测方法和检测装置、存储介质、处理器，所述方法包括：获取程序的控制流图，并确定控制流图中敏感结点的结点类型；根据敏感结点的结点类型获取相应的泄露检测算法；根据泄露检测算法确定敏感结点是否存在缓存泄露。本发明的检测方法，能够有效检测到程序中是否存在缓存泄露，保证程序的理论安全性和提高程序的扩展性。
-
公开(公告)号：CN115618801A
公开(公告)日：2023-01-17
申请号：CN202211527653.6
申请日：2022-12-01
Applicant: 北京智芯微电子科技有限公司 , 天津大学
IPC: G06F30/398 , G06F30/33
Abstract: 本发明涉及芯片技术领域，其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法，包括：根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型；根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性；将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器，根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。
-
公开(公告)号：CN115618801B
公开(公告)日：2023-04-07
申请号：CN202211527653.6
申请日：2022-12-01
Applicant: 北京智芯微电子科技有限公司 , 天津大学
IPC: G06F30/398 , G06F30/33
Abstract: 本发明涉及芯片技术领域，其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法，包括：根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型；根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性；将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器，根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。
-
-
-
-
Search Results
5
records
(took 0.054 seconds)
