会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 41. 发明授权
    • Formal verification driven power modeling and design verification
    • 正式验证驱动功率建模和设计验证
    • US09460251B1
    • 2016-10-04
    • US15139454
    • 2016-04-27
    • International Business Machines Corporation
    • Anand HaridassArun JosephPradeep Kumar NallaRahul M. Rao
    • G06F17/50G06F17/10
    • G06F17/5009G06F1/26G06F17/10G06F17/5036G06F17/504G06F17/5081G06F2217/66G06F2217/78
    • A computer-implemented method includes receiving a unit, wherein each unit includes one or more blocks. The computer-implemented method further includes selecting one or more input pins for each of said one or more blocks. The computer-implemented method further includes assigning a numerical value to each of said one or more input pins to yield at least one numerical sequence. The computer-implemented method further includes, for each numerical sequence of the at least one numerical sequence, performing a check on the numerical sequence to yield a number of fails. The computer-implemented method further includes determining a simulation condition for power modeling of the unit based on optimizing a numerical sequence with respect to the number of fails. The computer-implemented method further includes determining a number of design errors of the unit based on the simulation condition. A corresponding computer system and computer program product are also disclosed.
    • 计算机实现的方法包括接收单元,其中每个单元包括一个或多个块。 计算机实现的方法还包括为所述一个或多个块中的每个块选择一个或多个输入引脚。 计算机实现的方法还包括将数值分配给所述一个或多个输入引脚中的每一个以产生至少一个数字序列。 计算机实现的方法还包括对于至少一个数字序列的每个数字序列,对数字序列进行检查以产生多个失败。 计算机实现的方法还包括基于优化关于失败次数的数字序列来确定用于单元的功率建模的模拟条件。 计算机实现的方法还包括基于模拟条件确定单元的设计误差的数量。 还公开了相应的计算机系统和计算机程序产品。