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

1. 发明授权

US08443316B1 Accelerating coverage convergence and debug using symbolic properties and local multi-path analysis 有权
标题翻译：使用符号属性和本地多路径分析加速覆盖收敛和调试
公开(公告)号：US08443316B1
公开(公告)日：2013-05-14
申请号：US13293032
申请日：2011-11-09
申请人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Gagan Vishal Jain
发明人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Gagan Vishal Jain
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F11/3676
摘要： In a method for increasing coverage convergence during verification of a design for an IC, symbolic elements can be generated for the variables and the variable expressions in the hardware code of the design and a test bench. Simulation semantics can be modified and local multi-path analysis can be provided to expand symbolic property collection and symbolic element propagation. Modifying simulation semantics can include transformation of conditional statements, flattening of conditions, avoidance of short circuiting logic, and/or symbolic triggering of events. Symbolic elements are propagated through the design and the test bench during multiple simulation runs to collect symbolic properties. Coverage information from the multiple simulation runs is analyzed to identify coverage points to be targeted. For each identified coverage point, the constraints resulting from the collected symbolic properties are solved to generate directed stimuli for the design. These directed stimuli increase the coverage convergence.
摘要翻译：在验证IC设计期间增加覆盖收敛的方法中，可以为设计的硬件代码和测试台中的变量和可变表达式生成符号元素。可以修改模拟语义，并提供本地多路径分析来扩展符号属性集合和符号元素传播。修改模拟语义可以包括条件语句的转换，条件的平坦化，避免短路逻辑和/或事件的符号触发。符号元素在多次模拟运行期间通过设计和测试台进行传播，以收集符号属性。分析来自多个模拟运行的覆盖信息，以确定要定位的覆盖点。对于每个确定的覆盖点，解决从收集的符号属性产生的约束，以产生设计的定向刺激。这些定向刺激增加了覆盖收敛。

2. 发明申请

US20130117722A1 ACCELERATING COVERAGE CONVERGENCE AND DEBUG USING SYMBOLIC PROPERTIES AND LOCAL MULTI-PATH ANALYSIS 有权
标题翻译：使用符号属性和本地多路径分析加速覆盖整合和调试
公开(公告)号：US20130117722A1
公开(公告)日：2013-05-09
申请号：US13293032
申请日：2011-11-09
申请人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Gagan Vishal Jain
发明人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Gagan Vishal Jain
IPC分类号： G06F17/50 , G06F9/455
CPC分类号： G06F17/5022 , G06F11/3676
摘要： In a method for increasing coverage convergence during verification of a design for an IC, symbolic elements can be generated for the variables and the variable expressions in the hardware code of the design and a test bench. Simulation semantics can be modified and local multi-path analysis can be provided to expand symbolic property collection and symbolic element propagation. Modifying simulation semantics can include transformation of conditional statements, flattening of conditions, avoidance of short circuiting logic, and/or symbolic triggering of events. Symbolic elements are propagated through the design and the test bench during multiple simulation runs to collect symbolic properties. Coverage information from the multiple simulation runs is analyzed to identify coverage points to be targeted. For each identified coverage point, the constraints resulting from the collected symbolic properties are solved to generate directed stimuli for the design. These directed stimuli increase the coverage convergence.
摘要翻译：在验证IC设计期间增加覆盖收敛的方法中，可以为设计的硬件代码和测试台中的变量和可变表达式生成符号元素。可以修改模拟语义，并提供本地多路径分析来扩展符号属性集合和符号元素传播。修改模拟语义可以包括条件语句的转换，条件的平坦化，避免短路逻辑和/或事件的符号触发。符号元素在多次模拟运行期间通过设计和测试台进行传播，以收集符号属性。分析来自多个模拟运行的覆盖信息，以确定要定位的覆盖点。对于每个确定的覆盖点，解决从收集的符号属性产生的约束，以产生设计的定向刺激。这些定向刺激增加了覆盖收敛。

3. 发明授权

US08386974B2 Accelerating coverage convergence using symbolic properties 有权
标题翻译：使用符号属性加速覆盖收敛
公开(公告)号：US08386974B2
公开(公告)日：2013-02-26
申请号：US13087304
申请日：2011-04-14
申请人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Jayant Nagda
发明人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Jayant Nagda
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： In a method for increasing coverage convergence during verification of a design for an integrated circuit, multiple simulation runs can be performed. Symbolic variables and symbolic expressions can be generated for the variables and the variable expressions in the hardware code of the design and a test bench. Exemplary hardware code can include the hardware description language (HDL) code and/or the hardware verification language (HVL) code. Symbolic properties, which are derived from propagating the symbolic variables and symbolic expressions through the design and the test bench during the multiple simulation runs, can be collected. Coverage information from the multiple simulation runs can be analyzed to identify coverage points to be targeted. At this point, for each identified coverage point, the constraints resulting from the collected symbolic properties can be solved to generate directed stimuli for the design. These directed stimuli can increase the coverage convergence.
摘要翻译：在用于在集成电路的设计验证期间增加覆盖收敛的方法中，可以执行多个模拟运行。可以为设计的硬件代码和测试台中的变量和变量表达式生成符号变量和符号表达式。示例性硬件代码可以包括硬件描述语言（HDL）代码和/或硬件验证语言（HVL）代码。可以收集在多次模拟运行期间通过设计和测试台传播符号变量和符号表达式导出的符号属性。可以分析来自多个模拟运行的覆盖信息，以确定要定位的覆盖点。在这一点上，对于每个识别的覆盖点，可以解决从所收集的符号属性产生的约束，以产生用于设计的定向刺激。这些定向刺激可以增加覆盖收敛。

4. 发明申请

US20120266118A1 Accelerating Coverage Convergence Using Symbolic Properties 有权
标题翻译：使用符号属性加速覆盖收敛
公开(公告)号：US20120266118A1
公开(公告)日：2012-10-18
申请号：US13087304
申请日：2011-04-14
申请人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Jayant Nagda
发明人： Parijat Biswas , Raghurama Krishna Srigiriraju , Alexandru Seibulescu , Jayant Nagda
IPC分类号： G06F9/455
CPC分类号： G06F17/504
摘要： In a method for increasing coverage convergence during verification of a design for an integrated circuit, multiple simulation runs can be performed. Symbolic variables and symbolic expressions can be generated for the variables and the variable expressions in the hardware code of the design and a test bench. Exemplary hardware code can include the hardware description language (HDL) code and/or the hardware verification language (HVL) code. Symbolic properties, which are derived from propagating the symbolic variables and symbolic expressions through the design and the test bench during the multiple simulation runs, can be collected. Coverage information from the multiple simulation runs can be analyzed to identify coverage points to be targeted. At this point, for each identified coverage point, the constraints resulting from the collected symbolic properties can be solved to generate directed stimuli for the design. These directed stimuli can increase the coverage convergence.
摘要翻译：在用于在集成电路的设计验证期间增加覆盖收敛的方法中，可以执行多个模拟运行。可以为设计的硬件代码和测试台中的变量和变量表达式生成符号变量和符号表达式。示例性硬件代码可以包括硬件描述语言（HDL）代码和/或硬件验证语言（HVL）代码。可以收集在多次模拟运行期间通过设计和测试台传播符号变量和符号表达式导出的符号属性。可以分析来自多个模拟运行的覆盖信息，以确定要定位的覆盖点。在这一点上，对于每个识别的覆盖点，可以解决从所收集的符号属性产生的约束，以产生用于设计的定向刺激。这些定向刺激可以增加覆盖收敛。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式