Invited paper. Algorithms for functional testing of digital systemsFootnote†

†This research was supported in part by grants from AT&T, NATO and by the Engineering Foundation.

REFERENCES

• ABOULHAMID , M. E. , and CERNY , E. , 1983 , A class of test generators for built-in testing . I.E.E.E. Transactions on Computing , 32 , 957 – 959 .
   Google Scholar
• ANNARATORE , M. A. , and SAMI , M. G. , 1982 , An approach to functional testing of microprocessors. Proceedings of FTCS , 158 – 164 .
   Google Scholar
• BARDELL , P. H. , and MCANNEY , W. C. , 1982 , Self testing of multichip Iogic modules Proceedings of I.E.E.E. Test Conference , 200 – 204 .
   Google Scholar
• BARSI , F. , GRANDONI , F. and MAESTRINI , P. , 1976 , A theory of diagnosability of digital systems . I.E.E.E. Transactions on Computing , 25 , 585 – 593 .
   Web of Science ®Google Scholar
• BARZILAI , Z. , COPPERSMITH , D. , and ROSENBERG , A. , 1983 , Exhaustive generation of bit patterns with applications to VLSI self-testing . I.E.E.E. Transactions on Computing , 32 , 190 – 194 .
   Google Scholar
• DECARLO , R. , and SAEKS , R. , 1981 , Interconnected Dynamical Systems ( New York Marcel Dekker ).
   Google Scholar
• DIGITAL EQUIPMENT CORPORATION , 1982 , VAX/VMS System Services Manual ( Maynard , Mass . Digital Press ).
   Google Scholar
• DOYEN , J. , and ROSA , A. , 1977 , An extended bibliography and survey of Steiner systems. Proceedings of 7th Manitoba Conference on Num. Math, and Comp. , pp. 297 – 361 .
   Google Scholar
• DUHAMEL , P. , and RAULT , J. C. , 1979 , Automatic test generation for analog circuits and systems a review . I.E.E.E. Transactions on Circuits and Systems , 26 , 411 – 440 .
   Google Scholar
• EICHELBERGER , E. B. , and WILLIAMS , T. W. , 1977 , A design structure for ISI testing. Proceedings of 14th DAC >, pp. 462 – 468 .
   Google Scholar
• FAY , J. E. , 1981 , Distributed system architectures. Proceedings of I.E.E.E. Autotestcon , pp. 69 – 72 .
   Google Scholar
• GAREY , M. R. , and JOHNSON , D. S. , 1979 , Computers and Intractability ( San Francisco , CA Freeman ).
   Google Scholar
• GOEL , P. , 1980 , Test generation costs analysis and projections. Proceedings of the 17th DAC , pp. 77 – 84 .
   Google Scholar
• GOLDSTEIN , I. H. , 1979 , Controllability/observability analysis of digital circuits . I.E.E.E. Transactions on Circuits 685 – 693 .
   Google Scholar
• KNOWLTON , D. , 1977 , Is there a future for distributed systems? . Proceedings of I.E.E.E. Sem. Test Symposium , pp. 136 – 137 .
   Google Scholar
• LOMBARDI , F. , and RATHEAL , S. , 1985 , A testbed environment for high performance computer system design. Proceedings of I.E.E.E. 4th Annual Phoenix Conference on Computers and Communications, Phoenix , U.S.A. , pp. 523 – 527 .
   Google Scholar
• LOMBARDI , F. , and WEY , C.-L. , 1986 , On a novel self-test approach to digital testing . The Computer Journal , (to appear) .
   Google Scholar
• NAKAJIMA , K. , and HAKIMI , S. L. , 1984 , On adaptive system diagnosis . I.E.E.E. Transactions on Computing , 33 , 234 – 240 .
   Google Scholar
• PLICE , W. A. , 1981, UUT modeling. Proceedings of I.E.E.E. AutotestconOrlando, U.S.A., pp. 106–113.
   Google Scholar
• PREPARATA , F. P. , METZE , G. , and CHIEN , R. T. , 1967 , On the connection assignment problem of diagnosable systems . I.E.E.E. Transactions on Electronic Computers , 16 , 848 – 854 .
   Google Scholar
• STANTON , R. G. , KALB-FLEISCH , J. G. , and MULLIN , R. C. , 1970 , Covering and packaging design. Combinatorial Mathematics and its Applications, Proceedings of 2nd Chapel Hill Conference , pp. 428 – 450 .
   Google Scholar
• TAKASAKI , S. , KAWAI , M. , FUNATSU , S. , and YAMADA , A. , 1981 , A calculus of testability measure at the functional level. Proceedings of I.E.E.E. Test Conference , pp. 95 – 101 .
   Google Scholar
• WEY , C.-L. , and LOMBARDI , F. , 1986 , On a new process for the f-diagnosis of an analog system. Proceedings of I.E.E.E. ISCAS , May , pp. 1255 – 1256 .
   Google Scholar
• WILLIAM , M. J. Y. , and ANGELL , J. B. , 1973 , Enhancing testability of Iarge-scale integrated circuits via test points and additional Iogic . I.E.E.E. Transactions on Computing , 22 , 46 – 60 .
   Google Scholar
• WILLIAMS , T. W. , and PARKER , K. P. , 1983 , Design for testability, a survey. Proceedings of the I.E.E.E. , 71 , 98 – 112 .
   Web of Science ®Google Scholar
• WU , C.-C. , 1985 , Test point selection methods for the self-testing based analogue fault diagnosis system . I.E.E. Proceedings , 132 , Pt. G , 173 – 183 .
   Google Scholar
• WU , C.-C. , NAKAJIMA , K. , WEY , C.-L. , and SAEKS , R. , 1982 , Analog fault diagnosis with failure bounds . I.E.E.E. Trans. on Circuits and Systems , 29 , 277 – 284 .
   Google Scholar
• †This research was supported in part by grants from AT&T, NATO and by the Engineering Foundation.
   Google Scholar