摘要 |
<p><P>PROBLEM TO BE SOLVED: To improve verification accuracy and to reduce a verification period by deciding whether or not an input pattern created by a designer (or a verifier) can verify a metastable state. <P>SOLUTION: The verification support device 600 includes: a detection unit 601 for detecting a change of data delivered to a reception flip-flop in a reception clock domain from a transmission flip-flop in a transmission clock domain of a circuit to be verified, and input to a combination circuit in the reception clock domain;and a determination unit 602 for determining whether or not the change of the data detected by the detection unit 601 is propagated to output of the combination circuit in the reception clock domain according to the input data of the combination circuit, to output the result. <P>COPYRIGHT: (C)2010,JPO&INPIT</p> |