1.0 INTRODUCTION Reliability verification testing is almost always included as a quality specification for new products. A typical example in the automotive industry is to demonstrate 95% reliability at 100,000 miles with 90% confidence. Obviously, in this case some type of accelerated testing is required. It is infeasible to accumulate 100,000 miles or more on an automobile at a normal rate; t...

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 ...

Hardware verification and sequential test generation are aspects of the same problem, namely to prove the equal behavior determined by two circuit descriptions. During test generation, this attempt succeeds for the faulty and fault free circuit if redundancy exists, and during verification it succeeds, if the implementation is correct with regard to its specification. This observation can be us...

Test-program generators play a key role in hardware functional verification of large scale processors. However, in the DSP domain, the usage of full-blown test-program generators is much less popular, mainly due to the limited resources (time and money) available when developing such systems. This paper describes a work-model for the fast, low cost construction of a test-program generator for D...