| 摘要 |
PROBLEM TO BE SOLVED: To perform efficient verification even in the case of the existence of many check items comprising combinations between input frame patterns for input and internal register values.SOLUTION: A verification framework 15A generates, for each check item, input frame information 14B including a frame pattern for verification and write register information 14C including each register value for verification on the basis of a verification scenario 14A, and a frame pattern generation unit 15B generates input frame pattern information 14D including an input frame pattern which is to be inputted to an LSI 30 for communication during verification, and its input condition from the input frame information 14B, and a register value listing unit 15C generates a write register value list 14E including respective write register values which are to be written into respective internal registers of the LSI 30 for communication during verification, from the write register information 14C. In this case, the verification framework 15A generates either or both of frame patterns and respective write register values at random. |
