[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/787258.787449acmconferencesArticle/Chapter ViewAbstractPublication PagesedtcConference Proceedingsconference-collections
Article
Free access

Improved sequential ATPG using functional observation information and new justification methods

Published: 06 March 1995 Publication History

Abstract

Sequential ATPG (Automatic Test Pattern Generation) is a very desirable CAD tool, but to date, the site and complexity of circuits for which sequential ATPG could be performed has been limited. We have discovered a method for collecting functional information which makes fault observation significantly easier. We also propose a new method for state justification which is a combination of function-based methods and structure-based methods. Our sequential ATPG system deals with circuits without a reset state or a synchronizing sequence, and the experimental results show that the proposed method achieves significant improvements over existing sequential ATPG methods.

References

[1]
[ABRA] M. Abramovici, M. Breuer and A. Friedman, Digital systems testing and testable design, Computer Science Press (1990).
[2]
[BRGL] F. Brglez, D. Bryan, and K. Kozminski, "Combinational profiles of sequential benchmark circuits," in Proc. of International Symposium on Circuits and Systems, 1989.
[3]
[BRYA] R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," in IEEE Trans. on Computers, vol C-35, Aug. 1986.
[4]
[CHO91] H. Cho, G. D. Hachtel and F. Somenzi "Fast sequential ATPG based on implicit state enumeration," in Proc. of International Test Conference, 1991.
[5]
[CHO93] H. Cho, S.-W. Jeong, F. Somenzi and C. Pixley, "Synchronizing Sequences and Symbolic Traversal Techniques in Test Generation," in Journal of Electronic Testing: Theory and Applications, vol. 4, no. 1, Feb. 1993.
[6]
[COUD89] O. Coudert, C. Berthet and J.C. Madre, "Verification of sequential machines using boolean functional vectors," in L. Claesen, editor, Proc. of IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, 1989.
[7]
[COUDSI] O. Coudert, J. C. Madre, and C. Berthet, "Verifying temporal properties of sequential machines without building their state diagrams," in E. M. Clarke and R.P. Kurshan, editors, Computer-Aided Verification '90, American Mathematical Society - Association for Computing Machinery, 1991.
[8]
[GHOS] A. Ghosh, S. Devadas and A.R. Newton, "Test generation and verification for highly sequential circuits, in IEEE Trans. on Computer-Aided Design, vol. 10, May 1991.
[9]
[LEE] D.H. Lee and S.M. Reddy, "A new test generation method for sequential circuits," in Proc. of International Conference on Computer Aided Design, 1991.
[10]
[NIER] T. Niermann and J. H. Patel, "HITEC: A test generation package for sequential circuits," in Proc. of European Design Automation Conference, 1991.
[11]
[PIXL] C. Pixley, S.-W. Jeong and G.D. Hachtel, "Exact calculation of synchronization sequences based on binary decision diagrams," in IEEE Trans. on Computer-Aided Design, Aug. 1994.
[12]
[POME92] I. Pomeranz and S. M. Reddy, "The multiple Observation time test strategy," in IEEE Trans. on Computer-Aided Design, May, 1992.
[13]
[POME94] I. Pomeranz and S.M. Reddy, "On achieving complete fault coverage for sequential machines", in IEEE Trans. on Computer-Aided Design, Mar. 1994.

Cited By

View all
  1. Improved sequential ATPG using functional observation information and new justification methods

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    EDTC '95: Proceedings of the 1995 European conference on Design and Test
    March 1995
    556 pages
    ISBN:0818670398

    Sponsors

    Publisher

    IEEE Computer Society

    United States

    Publication History

    Published: 06 March 1995

    Check for updates

    Author Tags

    1. CAD tool
    2. VLSI
    3. automatic test pattern generation
    4. automatic testing
    5. fault diagnosis
    6. fault observation
    7. function-based methods
    8. functional observation information
    9. integrated circuit testing
    10. justification methods
    11. logic testing
    12. sequential ATPG
    13. sequential circuits
    14. state justification
    15. structure-based methods

    Qualifiers

    • Article

    Conference

    EDTC95
    Sponsor:

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)62
    • Downloads (Last 6 weeks)24
    Reflects downloads up to 01 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media