电路形式化模型简化方法及系统

    公开(公告)号:CN115358175A

    公开(公告)日:2022-11-18

    申请号:CN202211270682.9

    申请日:2022-10-18

    Abstract: 本发明实施例提供一种电路形式化模型简化方法及系统,用于集成电路设计过程中的电路形式化模型简化,属于集成电路验证技术领域。所述方法包括:获取集成电路的设计信息,并基于所述设计信息进行形式化模型构建;基于所述形式化模型进行电路模型解构,获得多个电路子模块并组成子模块集;基于所述子模块集中各子模块之间的信号联动关系提取出所有存在交互影响的信号,作为交互关键信号;基于所述交互关键信号进行所有子模块重构,删除其中冗余状态,完成电路模型简化。本发明方案可以实现完全的自动化,不需要验证人员的手动操作,能够降低时间成本,提高验证精度。

    缓存一致性检验方法、装置及电子设备

    公开(公告)号:CN115618801B

    公开(公告)日:2023-04-07

    申请号:CN202211527653.6

    申请日:2022-12-01

    Abstract: 本发明涉及芯片技术领域,其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法,包括:根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型;根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性;将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器,根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。

    缓存一致性检验方法、装置及电子设备

    公开(公告)号:CN115618801A

    公开(公告)日:2023-01-17

    申请号:CN202211527653.6

    申请日:2022-12-01

    Abstract: 本发明涉及芯片技术领域,其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法,包括:根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型;根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性;将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器,根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。

    电路形式化模型简化方法及系统

    公开(公告)号:CN115358175B

    公开(公告)日:2023-03-24

    申请号:CN202211270682.9

    申请日:2022-10-18

    Abstract: 本发明实施例提供一种电路形式化模型简化方法及系统,用于集成电路设计过程中的电路形式化模型简化,属于集成电路验证技术领域。所述方法包括:获取集成电路的设计信息,并基于所述设计信息进行形式化模型构建;基于所述形式化模型进行电路模型解构,获得多个电路子模块并组成子模块集;基于所述子模块集中各子模块之间的信号联动关系提取出所有存在交互影响的信号,作为交互关键信号;基于所述交互关键信号进行所有子模块重构,删除其中冗余状态,完成电路模型简化。本发明方案可以实现完全的自动化,不需要验证人员的手动操作,能够降低时间成本,提高验证精度。

Patent Agency Ranking