专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20100153893A1 CONSTRAINT MANAGEMENT AND VALIDATION FOR TEMPLATE-BASED CIRCUIT DESIGN 有权
标题翻译：基于模式的电路设计的约束管理和验证
公开(公告)号：US20100153893A1
公开(公告)日：2010-06-17
申请号：US12333050
申请日：2008-12-11
申请人： Richard L. Bartolotti , Thomas D. Burd , Brian D. McMinn , William A. McGee , Arun Chandra
发明人： Richard L. Bartolotti , Thomas D. Burd , Brian D. McMinn , William A. McGee , Arun Chandra
IPC分类号： G06F17/50
CPC分类号： G06F17/505
摘要： A technique for constraint management and validation for template-based device designs is disclosed. The technique includes generating a template-level representation of an electronic device design based on a transistor-level representation of the electronic device design. The template-level representation includes one or more hierarchies of templates. Each template represents a corresponding portion of the electronic device design. The technique further includes determining constraint declarations associated with the electronic device design and verifying whether there is a functional equivalence between the template-level representation to a register-transfer-level (RTL) representation of the electronic device design. The technique additionally includes verifying whether the constraint declarations are valid and verifying the electronic device design responsive to verifying the functional equivalence and verifying the constraint declarations.
摘要翻译：公开了一种用于基于模板的设备设计的约束管理和验证的技术。该技术包括基于电子设备设计的晶体管级表示来生成电子设备设计的模板级表示。模板级表示包括一个或多个模板层次结构。每个模板表示电子设备设计的相应部分。该技术还包括确定与电子设备设计相关联的约束声明，以及验证模板级表示与电子设备设计的寄存器传送级（RTL）表示之间是否具有功能等同性。该技术另外包括验证约束声明是否有效并且响应于验证功能等同性并验证约束声明来验证电子设备设计。

2. 发明授权

US08010920B2 Constraint management and validation for template-based circuit design 有权
标题翻译：基于模板的电路设计的约束管理和验证
公开(公告)号：US08010920B2
公开(公告)日：2011-08-30
申请号：US12333050
申请日：2008-12-11
申请人： Richard L. Bartolotti , Thomas D. Burd , Brian D. McMinn , William A. McGee , Arun Chandra
发明人： Richard L. Bartolotti , Thomas D. Burd , Brian D. McMinn , William A. McGee , Arun Chandra
IPC分类号： G06F9/455
CPC分类号： G06F17/505
摘要： A technique for constraint management and validation for template-based device designs is disclosed. The technique includes generating a template-level representation of an electronic device design based on a transistor-level representation of the electronic device design. The template-level representation includes one or more hierarchies of templates. Each template represents a corresponding portion of the electronic device design. The technique further includes determining constraint declarations associated with the electronic device design and verifying whether there is a functional equivalence between the template-level representation to a register-transfer-level (RTL) representation of the electronic device design. The technique additionally includes verifying whether the constraint declarations are valid and verifying the electronic device design responsive to verifying the functional equivalence and verifying the constraint declarations.
摘要翻译：公开了一种用于基于模板的设备设计的约束管理和验证的技术。该技术包括基于电子设备设计的晶体管级表示来生成电子设备设计的模板级表示。模板级表示包括一个或多个模板层次结构。每个模板表示电子设备设计的相应部分。该技术还包括确定与电子设备设计相关联的约束声明，以及验证模板级表示与电子设备设计的寄存器传送级（RTL）表示之间是否具有功能等同性。该技术另外包括验证约束声明是否有效并且响应于验证功能等同性并验证约束声明来验证电子设备设计。

3. 发明申请

US20120159409A1 METHOD AND APPARATUS FOR PERFORMING TEMPLATE-BASED CLASSIFICATION OF A CIRCUIT DESIGN 失效
标题翻译：用于执行基于模式的电路设计分类的方法和装置
公开(公告)号：US20120159409A1
公开(公告)日：2012-06-21
申请号：US12971442
申请日：2010-12-17
申请人： Weiqing Guo , Thomas D. Burd , Arun Chandra
发明人： Weiqing Guo , Thomas D. Burd , Arun Chandra
IPC分类号： G06F9/455
CPC分类号： G06F17/504
摘要： A method and apparatus for performing template-based classification of a circuit design are disclosed. A template file is read that defines a plurality of channel-connected-region (CCR) templates. A graph is formatted for each of the CCR templates. A plurality of CCRs are identified based on a partitioned netlist file that defines a given circuit design. A graph is generated for each of the identified CCRs. A matching CCR template graph is identified for each generated CCR graph. The template file may further defines super-CCR templates, and a graph may be formatted for each of the super-CCR templates. All possible combinations of CCRs and previously-matched super-CCRs that are candidates to match the formatted super-CCR template graph may be determined in an interative manner, for each formatted super-CCR template graph. A determination may be made as to which of the candidate combinations actually match the formatted super-CCR template graph.
摘要翻译：公开了一种用于执行电路设计的基于模板的分类的方法和装置。读取定义多个通道连接区域（CCR）模板的模板文件。为每个CCR模板格式化图形。基于定义给定电路设计的分区网表文件来识别多个CCR。为每个识别的CCR生成图形。为每个生成的CCR图识别匹配的CCR模板图。模板文件还可以定义超级CCR模板，并且可以为每个超级CCR模板格式化图形。对于每个格式化的超CCR模板图，可以以交互方式确定作为匹配格式化的超CCR模板图的候选者的CCR和先前匹配的超级CCR的所有可能组合。可以确定哪个候选组合实际上与格式化的超CCR模板图匹配。

4. 发明授权

US08533643B2 Method and apparatus for performing template-based classification of a circuit design 失效
标题翻译：用于执行电路设计的基于模板的分类的方法和装置
公开(公告)号：US08533643B2
公开(公告)日：2013-09-10
申请号：US12971442
申请日：2010-12-17
申请人： Weiqing Guo , Thomas D. Burd , Arun Chandra
发明人： Weiqing Guo , Thomas D. Burd , Arun Chandra
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method and apparatus for performing template-based classification of a circuit design are disclosed. A template file is read that defines a plurality of channel-connected-region (CCR) templates. A graph is formatted for each of the CCR templates. A plurality of CCRs are identified based on a partitioned netlist file that defines a given circuit design. A graph is generated for each of the identified CCRs. A matching CCR template graph is identified for each generated CCR graph. The template file may further defines super-CCR templates, and a graph may be formatted for each of the super-CCR templates. All possible combinations of CCRs and previously-matched super-CCRs that are candidates to match the formatted super-CCR template graph may be determined in an interative manner, for each formatted super-CCR template graph. A determination may be made as to which of the candidate combinations actually match the formatted super-CCR template graph.
摘要翻译：公开了一种用于执行电路设计的基于模板的分类的方法和装置。读取定义多个通道连接区域（CCR）模板的模板文件。为每个CCR模板格式化图形。基于定义给定电路设计的分区网表文件来识别多个CCR。为每个识别的CCR生成图形。为每个生成的CCR图识别匹配的CCR模板图。模板文件还可以定义超级CCR模板，并且可以为每个超级CCR模板格式化图形。对于每个格式化的超CCR模板图，可以以交互方式确定作为匹配格式化的超CCR模板图的候选者的CCR和先前匹配的超级CCR的所有可能组合。可以确定哪个候选组合实际上与格式化的超CCR模板图匹配。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式