High-Level Test Synthesis Using Design Transformations

A transformation-based approach to high-level test synthesis is presented. It utilizes a sequence of design-improvement transformations to generate a register -transfer level design from a VHDL behavioral specification. Selection of transformations is based on a performance-driven optimization strategy as well as a testability analysis algorithm which determines the testability-improvement techniques to be used. The main testability-improvement techniques are controllability/observability balance allocation, partial scan insertion and condition scan insertion. One important feature of our approach is that the testability-improvement trans-formations are not carried out in a separate synthesis step. Instead they are performed at the same time when operation scheduling, data path allocation and control allocation are carried out. This work has been supported by the Swedish National Board for Industrial and Technical Development (NUTEK). Accepted to the 2nd International Test Synthesis Wo..