| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a method of systematically generating the entire scenario from a specification, for totally verifying the function of an LSI. <P>SOLUTION: The scenario generation method includes a step for generating a specification model by writing it in a prescribed descriptive language, a step in which a plurality of operations are extracted from the specification model to generate a plurality of operational descriptions which correspond to the plurality of operations and each contains an operation name and constraint condition, a step for generating at least one cause and effect graph in which a plurality of operations are coupled based on the plurality of operational descriptions, and a step for extracting a series of operations from the cause and effect graph as a scenario. <P>COPYRIGHT: (C)2008,JPO&INPIT |
