公开(公告)号：CN1710568A

公开(公告)日：2005-12-21

申请号：CN200510027607.X

申请日：2005-07-07

Applicant: 复旦大学

Inventor： 张忠林 ,  唐璞山

IPC: G06F17/50 ,  G06F17/30

Abstract: 本发明属超大规模集成电路技术领域，具体为一种同步时序电路时序深度计算方法，该方法以可满足性算法引擎为基础，数据结构采用可达状态的显式存储方式来降低可满足性算法的负担，具体步骤包括状态的初始化、后续状态的计算、历史状态的遍历、新状态的存储、冗余状态的剔除和算法引擎的复位等。本发明方法的运行效率大大提高。

公开(公告)号：CN100378736C

公开(公告)日：2008-04-02

申请号：CN200510027607.X

申请日：2005-07-07

Applicant: 复旦大学

Inventor： 张忠林 ,  唐璞山

IPC: G06F17/50 ,  G06F17/30

Abstract: 本发明属超大规模集成电路技术领域，具体为一种同步时序电路时序深度计算方法，该方法以可满足性算法引擎为基础，数据结构采用可达状态的显式存储方式来降低可满足性算法的负担，具体步骤包括状态的初始化、后续状态的计算、历史状态的遍历、新状态的存储、冗余状态的剔除和算法引擎的复位等。本发明方法的运行效率大大提高。