摘要 |
<P>PROBLEM TO BE SOLVED: To provide a verification method of the pipeline control of a microcomputer processor that can efficiently verify a pipeline control function in a state that the pipeline control function operates on all of a plurality of streams, when verifying the pipeline control function with a plurality of streams. <P>SOLUTION: After a conditional branch instruction is generated, an execution instruction sequence whose unexecuted instruction sequence has been generated before the conditional branch instruction is selected and arranged as an unexecuted instruction sequence. The arranged instruction sequence is searched for a conditional branch instruction, and if any is found, an unexecuted instruction sequence as a branch destination is also selected and arranged, so that competition can be easily generated between registers and memories for the unexecuted instruction sequences and registers and memories for the instruction sequences before conditioned branch instructions. <P>COPYRIGHT: (C)2005,JPO&NCIPI |