摘要 |
PROBLEM TO BE SOLVED: To prevent the omission of verification of hardware including a plurality of condition branches to achieve a hardware design having no bug. SOLUTION: Upon receiving a combination circuit description 601 that is a verification target, a verification support device 100 extracts a combination of the condition branches included in the combination circuit description 601 (step S110). The verification support device generates assertion information for deciding whether all execution patterns related to the respective combinations are verified by a verification scenario 101 (step S120). COPYRIGHT: (C)2010,JPO&INPIT
|