High-Level Test Generation and Built-In Self-Test Techniques for Digital Systems
Licentiate Thesis No. 973, Dept. of Computer and Information Science, Linköping University, Oct. 2002
The technological development is enabling production of increasingly complex electronic systems. All those systems must be verified and t ested to guarantee correct behavior. As the complexity grows, testing is becoming one of the most significant factors that contribute to the final product cost. The established low-level methods for hardware testing are not any more sufficient and more work has to be done a t abstraction levels higher than the classical gate and register-transfer levels. This thesis reports on one such work that deals in part icular with high-level test generation and design for testability techniques.
The contribution of this thesis is twofold. First, we investigate the possibilities of generating test vectors at the early stages of the design cycle, starting directly from the behavioral description and with limited knowledge about the final implementation architecture. We have developed for this purpose a novel hierarchical test generation algorithm and demonstrated the usefulness of the generated tests not only for manufacturing test but also for testability analysis.
The second part of the thesis concentrates on design for testability. As testing of modern complex electronic systems is a very expensive procedure, special structures for simplifying this process can be inserted into the system during the design phase. We have proposed for this purpose a novel hybrid built-in self-test architecture, which makes use of both pseudorandom and deterministic test patterns, and i s appropriate for modern system-on-chip designs. We have also developed methods for optimizing hybrid built-in self-test solutions and de monstrated the feasibility and efficiency of the proposed technique.
[J02] Gert Jervan, "High-Level Test Generation and Built-In Self-Test Techniques for Digital Systems", Licentiate Thesis No. 973, Dept. of Computer and Information Science, Linköping University, Oct. 2002