-
公开(公告)号：CN115543443A
公开(公告)日：2022-12-30
申请号：CN202211301981.4
申请日：2022-10-24
Applicant: 北京智芯微电子科技有限公司 , 国网江苏省电力有限公司信息通信分公司 , 国家电网有限公司
Abstract: 本发明公开了一种向量指令执行方法、处理器、计算机设备及存储介质。通过向量指令锁定机制，向量指令被第二流水线接收后设置为锁定状态。向量指令标识随第一流水线流到写回级时解除向量指令的锁定状态；向量指令的顺序在第二流水线内部维护；第二流水线在向量指令的执行过程中，若处于锁定状态的所述向量指令没有被解锁，不能将执行结果写入向量寄存器，等待锁定解除后进行向量寄存器的写操作；从而确保向量指令的写回操作晚于向量指令前面的非向量指令的写回操作，从而在高效的执行向量扩展指令集V中的向量指令的同时，防止主流水线被陷阱事件打断而向量指令超前更新向量寄存器导致的程序一致性问题。
-
公开(公告)号：CN117667216A
公开(公告)日：2024-03-08
申请号：CN202311634717.7
申请日：2023-11-30
Applicant: 北京智芯微电子科技有限公司 , 国网江苏省电力有限公司信息通信分公司 , 国家电网有限公司
IPC: G06F9/38
Abstract: 本发明公开了一种指令验证方法、装置、系统以及存储介质、芯片。指令验证方法包括：获取目标指令流；控制参考模型和待测试设备中的一个执行目标指令流，得到目标指令流中各指令的第一执行结果，并将第一执行结果存储至预设指令结果队列；控制参考模型和待测试设备中的另一个执行目标指令流，得到各指令的第二执行结果；根据各指令在待测试设备中的执行完成时间，将第二执行结果和预设指令结果队列中相应的第一执行结果进行比较。该指令验证方法，可解决指令乱序毕业的情况下，待测试设备和参考模型的指令执行结果不能正常比较的问题。
-
公开(公告)号：CN114817910A
公开(公告)日：2022-07-29
申请号：CN202210489619.8
申请日：2022-05-06
Applicant: 北京智芯微电子科技有限公司 , 武汉大学 , 国网宁夏电力有限公司营销服务中心(国网宁夏电力有限公司计量中心) , 国家电网有限公司
Abstract: 本发明公开了一种程序缓存泄露的检测方法和检测装置、存储介质、处理器，所述方法包括：获取程序的控制流图，并确定控制流图中敏感结点的结点类型；根据敏感结点的结点类型获取相应的泄露检测算法；根据泄露检测算法确定敏感结点是否存在缓存泄露。本发明的检测方法，能够有效检测到程序中是否存在缓存泄露，保证程序的理论安全性和提高程序的扩展性。
-
Patent Agency Ranking
公开(公告)号：CN115618801B
公开(公告)日：2023-04-07
申请号：CN202211527653.6
申请日：2022-12-01
Applicant: 北京智芯微电子科技有限公司 , 天津大学
IPC: G06F30/398 , G06F30/33
Abstract: 本发明涉及芯片技术领域，其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法，包括：根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型；根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性；将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器，根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。
-
公开(公告)号：CN115358175B
公开(公告)日：2023-03-24
申请号：CN202211270682.9
申请日：2022-10-18
Applicant: 北京智芯微电子科技有限公司 , 天津大学
IPC: G06F30/3308
Abstract: 本发明实施例提供一种电路形式化模型简化方法及系统，用于集成电路设计过程中的电路形式化模型简化，属于集成电路验证技术领域。所述方法包括：获取集成电路的设计信息，并基于所述设计信息进行形式化模型构建；基于所述形式化模型进行电路模型解构，获得多个电路子模块并组成子模块集；基于所述子模块集中各子模块之间的信号联动关系提取出所有存在交互影响的信号，作为交互关键信号；基于所述交互关键信号进行所有子模块重构，删除其中冗余状态，完成电路模型简化。本发明方案可以实现完全的自动化，不需要验证人员的手动操作，能够降低时间成本，提高验证精度。
-
公开(公告)号：CN116702224A
公开(公告)日：2023-09-05
申请号：CN202310491843.5
申请日：2023-05-04
Applicant: 北京智芯微电子科技有限公司 , 西北工业大学
Abstract: 本说明书涉及一种密码核的安全验证方法、装置、电子设备及存储介质。其中，安全验证方法包括：以密码核的执行逻辑为参考，基于信息流模型库中的目标基础模型生成密码核对应的目标信息流模型；其中，密码核对应有逻辑函数，逻辑函数包括运算单元，目标基础模型用于描述在执行运算单元时对电路信号的运算过程；目标信息流模型用于描述在执行密码核时对电路信号的运算过程；针对密码核需要验证的安全属性构建对应的安全属性断言；其中，安全属性断言用于加入目标信息流模型中；通过执行加入安全属性断言后的目标信息流模型，对密码核进行安全验证。本说明书实施例能够基于信息流分析的方式，处理RTL级代码，具有更高的验证效率和验证精度。
-
公开(公告)号：CN115618801A
公开(公告)日：2023-01-17
申请号：CN202211527653.6
申请日：2022-12-01
Applicant: 北京智芯微电子科技有限公司 , 天津大学
IPC: G06F30/398 , G06F30/33
Abstract: 本发明涉及芯片技术领域，其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法，包括：根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型；根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性；将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器，根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。
-
公开(公告)号：CN115358175A
公开(公告)日：2022-11-18
申请号：CN202211270682.9
申请日：2022-10-18
Applicant: 北京智芯微电子科技有限公司 , 天津大学
IPC: G06F30/3308
Abstract: 本发明实施例提供一种电路形式化模型简化方法及系统，用于集成电路设计过程中的电路形式化模型简化，属于集成电路验证技术领域。所述方法包括：获取集成电路的设计信息，并基于所述设计信息进行形式化模型构建；基于所述形式化模型进行电路模型解构，获得多个电路子模块并组成子模块集；基于所述子模块集中各子模块之间的信号联动关系提取出所有存在交互影响的信号，作为交互关键信号；基于所述交互关键信号进行所有子模块重构，删除其中冗余状态，完成电路模型简化。本发明方案可以实现完全的自动化，不需要验证人员的手动操作，能够降低时间成本，提高验证精度。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.121 seconds)
