| 摘要 |
PURPOSE:To measure an accurate coverage in real time by distinguishing the branching addresses when the branching destination addresses of the conditional branching instructions are equal to the branching addresses of plural condition branching instructions. CONSTITUTION:A gate memory means 13-A stores a prescribed signal in a certain address of a conditional branching instruction. A memory means 13-B stores a prescribed signal in an address when the condition is satisfied as well as in an address when the condition is not satisfied. A memory means 13-C consists of >=1 bit to store a prescribed signal to that the branching addresses are distinguished when the branching addresses of the conditional branching instruction are equal to said branching addresses. A latch 16 of >=1 bit stores the output of the means 13-C. A coverage memory means 2 divides and stores the same contents as those of the memory means 13-B where the output of the latch 16 is connected to an address. A write signal OPC is applied to the means 2 only in the case of an executing instruction following the conditional branching instruction. Then the address contents are rewritten into the prescribed value and the number of executed branching directions are stored.
|
