摘要 |
PROBLEM TO BE SOLVED: To prevent false determination by accurately verifying any false operation caused in a meta stable state. SOLUTION: A circuit model 1 and a circuit model 2 are configured to have the same function. In the first model 1, a reception FF in a reception clock domain is a normal FF model. In the second model 2, the reception FF in the reception clock domain is a CDC model. A verification support device detects a change in variables (rstate) showing the state of the reception clock domain in the circuit model 1, and detects a change in the variables (rstate) showing the state of the reception clock domain in the circuit model 2. The verification support device successively holds the states at the time of detecting the state change, and determines whether a series of held states are different from each other. When determining any difference, the verification support device outputs information indicating that a false occurs. COPYRIGHT: (C)2011,JPO&INPIT
|