skip to main content
10.1145/157485.164587acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free Access

Speed up of behavioral A.T.P.G. using a heuristic criterion

Published:01 July 1993Publication History
First page image

References

  1. 1.H. Fujiwara, T. Shimono, "On the acceleration of test generation algorithms, " IEEE Trans. on Computer, December 1983, pp. 1037- 1044.Google ScholarGoogle Scholar
  2. 2.T.Kirkland, M.R. Mercer, "A topological search algorithm for A'IgG," 24th Design Automation Conf., 1987, pp.502-507. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.M.H. Schulz, E. Trischler, T.M. Sarfert, "Socrates: a highly efficient automatic test pattern generation system," lnt.Test Conf., 1987, pp. 1016-1026.Google ScholarGoogle Scholar
  4. 4.S.Ghosh, T.J. Chakraborty, "On behavior fault m~deling for digital designs," Journal of Electronic Testing : Theory and Applications, Vol. 2, N~2, June, 1991, pp. 135-151. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.D.S. Barclay, J.R. Armstrong, "A heuristic chip-level test generation algorithm," 23th Design Automation Conf., 1986, pp.257-261. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.U.H. Levendel, P.R. Menon, "Test generation algorithms for com- ~ uter hardware description languages, " IEEE Trans. on Computers, ol. C-31, N~ 7, July 1982, pp. 577-588.Google ScholarGoogle Scholar
  7. 7.M.D. O'Neill, D. D. Jani, C. H. Cho, L R. Armstrong, "BTG :a Behavioral Test Generator," 9th Computer Hardware Description Languages and the& application Conf., IFIP, 1990, pp.347-361.Google ScholarGoogle Scholar
  8. 8.F.E. Norrod, "An automatic test generation algorithm for hardware description language," 26th Design Automation Conf., 1989, pp.429- 434. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.Y. Min, S.Y.H. SU, "Testing functional faults in VLSI ," 19th Design Automation Conf., 1982, pp.384-392. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.S.Y.H. Su, T. Lin, "Functional test generation of digital LSI/VLSI systems using machine symbolic execution technique," Int. Test Conf., 1984, pp. 660-668.Google ScholarGoogle Scholar
  11. 11.LF. Santucci, G. Dray, N. Giambiasi, M. Boumrdine, "Methodology to reduce computational cost of behavioral test pattern generation using testability measures "29th Design Automation Conf., 1992, pp. 267-272. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.J.F. Sanmcci, G. Dray, M. Boumrdine, N. Giambiasi, "Methods to measure and to enhance the testability of behavioral descriptions of digital circuits," 1st Asian Test Symposium, Hiroshima, 1992, pp. 118- 123.Google ScholarGoogle Scholar
  13. 13.G.M. Nurie, P.J. Menehini, "VHDL model portability," High Performance System, July 1989, pp. 76-89.Google ScholarGoogle Scholar
  14. 14.DACAPO Ill, User Manual Version 1.0, Disus GmbH, September 1988.Google ScholarGoogle Scholar
  15. 15.N. Giambiasi, LF. Santucci, A.L. Courbis, "Behavioral test pattem generation for digital circuits," 6th Workshop on new directions of testing, Montreal, May 1992, pp. 77-85.Google ScholarGoogle Scholar
  16. 16.A.L. Courbis, LF. Santucci, N. Giambiasi, "Automatic Test Pattem Generation for Digital Circuits," 1st Asian Test Symposium, Hiroshima, 1992, pp. 112-117.Google ScholarGoogle Scholar
  17. 17.N.J. Nilsson, "Problem-solving Methods," Artificial Intelligence, McGraw-Hill, 1971. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 18.H.B. Min, W.A. Rogers, "Search Strategy Switching : a cost model and an analysis of backtracking," Journal of Electron& Testing : Theory and Applications, Vol. 1, 1990, pp.125-137. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Speed up of behavioral A.T.P.G. using a heuristic criterion

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          DAC '93: Proceedings of the 30th international Design Automation Conference
          July 1993
          768 pages
          ISBN:0897915771
          DOI:10.1145/157485

          Copyright © 1993 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 July 1993

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate1,770of5,499submissions,32%

          Upcoming Conference

          DAC '24
          61st ACM/IEEE Design Automation Conference
          June 23 - 27, 2024
          San Francisco , CA , USA

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader