Analysis of experimental results on functional testing and diagnosis of complex circuits

A number of functional-level test approaches for microprocessors have been proposed. The GAPT approach, presented here, is a pragmatic one, but it is supported by a set of tools and experimental results. The authors describe the GAPT approach in detail. They draw tentative conclusions with respect to the effectiveness and scope of these functional test generation methods.<
>