发明名称 Circuit design verification
摘要 A digital circuit simulation method. The method starts with a digital circuit design which includes: a first source latch, a destination latch, a logic cone, a first WAM circuit electrically coupling an output of the first source latch to a first input of the logic cone, and a WAGG circuit electrically coupling an output of the logic cone and an input of the first source latch. Then, a zero-delay simulation is performed in which if a first situation of (a) the first WAM circuit entering an uncertainty state in which the first WAM circuit generates a random value of 1 or 0 at the first input of the logic cone, (b) the logic cone being vulnerable to a positive glitch, and (c) the output of the logic cone being at logic 0, the WAGG circuit generates a random value of 0 or 1 at the input of the destination latch.
申请公布号 US7480607(B2) 申请公布日期 2009.01.20
申请号 US20060383299 申请日期 2006.05.15
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 KAMPF FRANCIS A.;MASSEY DOUGLAS THOMAS
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址