发明名称 CIRCUIT VERIFYING METHOD, PROGRAM AND APPARATUS
摘要 <p><P>PROBLEM TO BE SOLVED: To shorten the function verification time of an asynchronous circuit by reducing the number of times of the function verification of the asynchronous circuit in a meta stable state. <P>SOLUTION: The circuit verifying apparatus 10 comprises an input data detection part 252 which detects a change of input data Di in synchronization with a first clock signal CLK1 input to a transmitting-side sequential circuit FF1; a logic circuit arithmetic part 251 which performs processing to make a receiving-side sequential circuit FF2 output information Dm showing a meta stable state during a period longer than one period of the first clock signal CLK1 based on the change of the input data Di; and a storage device 13 which stores the changed input data based on the change of the input data Di. <P>COPYRIGHT: (C)2009,JPO&INPIT</p>
申请公布号 JP2009093635(A) 申请公布日期 2009.04.30
申请号 JP20080237862 申请日期 2008.09.17
申请人 NEC ELECTRONICS CORP 发明人 INAGAWA TAKEYOSHI
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址