The use of model checking in ATPG for sequential circuits

Full text not available from this repository. Send a request to the author for a copy of the paper
Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: The use of model checking in ATPG for sequential circuits
Authors string: P. Camurati, M. Gilli, P. Prinetto, M. Sonza Reorda
University authors:
Page Range: pp. 86-95
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Publisher: Springer
ISBN: 3540544771
ISSN: 0302-9743
Volume: 531
Event Title: Computer-Aided Verification 2nd International Conference, CAV '90
Event Location: New Brunswick, NJ (USA)
Event Dates: June 18-21, 1990
Abstract: Some design environments may prevent Design for Testability techniques from reducing testing to a combinational problem: ATPG for sequential devices remains a challenging field. Random and deterministic structure-oriented techniques are the state-of-the-art, but there is a growing interest in methods where the function implemented by the circuit is known. This paper shows how a test pattern may be generated while trying to disprove the equivalence of a good and a faulty machine. The algorithms are derived from Graph Theory and Model Checking. An example is analyzed to discuss the applicability and the cost of such an approach
Date: 1991
Status: Published
Language of publication: English
Uncontrolled Keywords:
Departments (original): UNSPECIFIED
Departments: DAUIN - Department of Control and Computer Engineering
DET - Department of Electronics and Telecommunications
Related URLs:
    Subjects:
    Date Deposited: 13 Oct 2010 18:10
    Last Modified: 22 Jan 2013 03:00
    Id Number (DOI): 10.1007/BFb0023722
    Permalink: http://porto.polito.it/id/eprint/2374685
    Linksolver URL: Linksolver link
    Citations:

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto

    • Web of Science: 0 [link]
    • Scholar: - [link]
    +
    -

    Actions (login required)

    View Item View Item