公开(公告)号：US08943453B2

公开(公告)日：2015-01-27

申请号：US12813849

申请日：2010-06-11

申请人： Ker-Min Chen ,  Shien-Po Yang ,  Vincent Merigot

发明人： Ker-Min Chen ,  Shien-Po Yang ,  Vincent Merigot

IPC分类号： G06F17/50 ,  G06F9/445

CPC分类号： G06F17/5081 ,  G06F9/44505 ,  G06F17/504 ,  G06F17/505

摘要： A method of checking an integrated circuit design database includes providing the integrated circuit design stored in a storage media; providing application rules; and providing an instance abstract of instances of libraries and IP(s). Instance-level information is extracted from the integrated circuit design database. An application-rule check is performed against the instance-level information using the information provided in an abstract file.

摘要翻译： 检查集成电路设计数据库的方法包括提供存储在存储介质中的集成电路设计; 提供应用规则; 并提供库和IP实例的实例摘要。 从集成电路设计数据库中提取实例级信息。 使用抽象文件中提供的信息对实例级信息执行应用程序规则检查。

公开(公告)号：US20110055778A1

公开(公告)日：2011-03-03

申请号：US12813849

申请日：2010-06-11

申请人： Ker-Min Chen ,  Shien-Po Yang ,  Vincent Merigot

发明人： Ker-Min Chen ,  Shien-Po Yang ,  Vincent Merigot

IPC分类号： G06F17/50

CPC分类号： G06F17/5081 ,  G06F9/44505 ,  G06F17/504 ,  G06F17/505

摘要： A method of checking an integrated circuit design database includes providing the integrated circuit design stored in a storage media; providing application rules; and providing an instance abstract of instances of libraries and IP(s). Instance-level information is extracted from the integrated circuit design database. An application-rule check is performed against the instance-level information using the information provided in an abstract file.

摘要翻译： 检查集成电路设计数据库的方法包括提供存储在存储介质中的集成电路设计; 提供应用规则; 并提供库和IP实例的实例摘要。 从集成电路设计数据库中提取实例级信息。 使用抽象文件中提供的信息对实例级信息执行应用程序规则检查。