摘要：The software prototype model can be used for the generation of the verification test. The input stimuli, which form essential activity vectors, are selected from randomly generated ones on the base of software prototype. The essential activity vectors correspond to the terms of logical functions of output the existence of which is tested during the verification. The verification test is formed on the base of the essential activity vectors according to the defined rules. The quality of the verification test is measured by the following parameters: the length of test, the fault coverage of the stuck-at faults, the fault coverage of the pin pair faults, and the number of the essential activity vectors. The paper presents the experimental results for the benchmark suite ISCAS’85. The value of this approach is highlighted by the fact that the selected input stimuli detect the same stuck-at faults as the initially generated test set.
