Diagnosis of realistic bridging faults with single stuck-at information
Precise failure analysis requires accurate fault diagnosis. A previously proposed method for diagnosing bridging faults using single stuck-at dictionaries was applied only to small circuits, produced large and imprecise diagnoses, and did not take into account the Byzantine Generals Problem for brid...
Saved in:
| Published in | Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design pp. 185 - 192 |
|---|---|
| Main Authors | , , , |
| Format | Conference Proceeding |
| Language | English |
| Published |
Washington, DC, USA
IEEE Computer Society
01.12.1995
|
| Series | ACM Conferences |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9780818672132 0818672137 |
| DOI | 10.5555/224841.224879 |
Cover
| Abstract | Precise failure analysis requires accurate fault diagnosis. A previously proposed method for diagnosing bridging faults using single stuck-at dictionaries was applied only to small circuits, produced large and imprecise diagnoses, and did not take into account the Byzantine Generals Problem for bridging faults. We analyze the original technique and improve it by introducing the concepts of match restriction, match requirement, and failure recovery. Our new technique, which requires no information other than that used by standard stuck-at methods, produces diagnoses that are an order of magnitude smaller than those produced by the original technique and produces many fewer misleading diagnoses than that of traditional stuck-at diagnosis. |
|---|---|
| AbstractList | Precise failure analysis requires accurate fault diagnosis. A previously proposed method for diagnosing bridging faults using single stuck-at dictionaries was applied only to small circuits, produced large and imprecise diagnoses, and did not take into account the Byzantine Generals Problem for bridging faults. We analyze the original technique and improve it by introducing the concepts of match restriction, match requirement, and failure recovery. Our new technique, which requires no information other than that used by standard stuck-at methods, produces diagnoses that are an order of magnitude smaller than those produced by the original technique and produces many fewer misleading diagnoses than that of traditional stuck-at diagnosis. |
| Author | Larrabee, Tracy Chess, Brian Ferguson, F. Joel Lavo, David B. |
| Author_xml | – sequence: 1 givenname: Brian surname: Chess fullname: Chess, Brian organization: Computer Engineering, University of California, Santa Cruz – sequence: 2 givenname: David B. surname: Lavo fullname: Lavo, David B. organization: Computer Engineering, University of California, Santa Cruz – sequence: 3 givenname: F. Joel surname: Ferguson fullname: Ferguson, F. Joel organization: Computer Engineering, University of California, Santa Cruz – sequence: 4 givenname: Tracy surname: Larrabee fullname: Larrabee, Tracy organization: Computer Engineering, University of California, Santa Cruz |
| BookMark | eNqNj09LAzEUxAMqqHWP3nPy5Lb583Y3OUrVKhR60XNIs8kau01gk-LXN2X9AM7hDTyGYX636DLEYBG6p2TZFK0YAwF0ebZOXqBKdoIIKtqOUc6uUZXSNymChoIUN2jz7PUQYvIJR4cnq0efsjd4P_l-8GHATp_GnPCPz184lcdocconc6h1xj64OB119jHcoSunx2SrP1-gz9eXj_Vbvd1t3tdP21rThufa9E0viXQAQFogTgvGJes7sC0z0lLiWDktt2WckJ2BlklrqdOOaQvA-QI9zL3aHNU-xkNSlKgzuZrJ1Uxego__CqpCah3_BX3iWs4 |
| ContentType | Conference Proceeding |
| Copyright | Copyright (c) 1995 Institute of Electrical and Electronics Engineers, Inc. All rights reserved. |
| Copyright_xml | – notice: Copyright (c) 1995 Institute of Electrical and Electronics Engineers, Inc. All rights reserved. |
| DOI | 10.5555/224841.224879 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EndPage | 192 |
| GroupedDBID | 6IE AAJGR ACGHX ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI OCL RIB RIC RIE |
| ID | FETCH-LOGICAL-a153t-cd5d909f4440640fa82392d74e62c9e10f2e1063e498897c4629ee1faf2ae4433 |
| ISBN | 9780818672132 0818672137 |
| IngestDate | Wed Jan 31 06:55:17 EST 2024 Wed Jan 31 06:43:11 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Keywords | fault diagnosis realistic bridging faults diagnosis failure recovery single stuck-at information fault location single stuck-at dictionaries match requirement stuck-at methods logic testing match restriction failure analysis stuck-at diagnosis |
| Language | English |
| LinkModel | OpenURL |
| MeetingName | ICCAD '95: International Conference on Computer Aided Design |
| MergedId | FETCHMERGED-LOGICAL-a153t-cd5d909f4440640fa82392d74e62c9e10f2e1063e498897c4629ee1faf2ae4433 |
| PageCount | 8 |
| ParticipantIDs | acm_books_10_5555_224841_224879 acm_books_10_5555_224841_224879_brief |
| PublicationCentury | 1900 |
| PublicationDate | 19951201 |
| PublicationDateYYYYMMDD | 1995-12-01 |
| PublicationDate_xml | – month: 12 year: 1995 text: 19951201 day: 01 |
| PublicationDecade | 1990 |
| PublicationPlace | Washington, DC, USA |
| PublicationPlace_xml | – name: Washington, DC, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design |
| PublicationYear | 1995 |
| Publisher | IEEE Computer Society |
| Publisher_xml | – name: IEEE Computer Society |
| SSID | ssj0000451498 |
| Score | 1.2660928 |
| Snippet | Precise failure analysis requires accurate fault diagnosis. A previously proposed method for diagnosing bridging faults using single stuck-at dictionaries was... |
| SourceID | acm |
| SourceType | Publisher |
| StartPage | 185 |
| SubjectTerms | Hardware -- Hardware test Hardware -- Robustness -- Hardware reliability |
| Title | Diagnosis of realistic bridging faults with single stuck-at information |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1BT9swFLYKp3EaWycYMHzYTlFK7ThJfdiFah2q1mkHkLhFjmNzoLRSm3Lgwl_nvThxUlQJsR7cymod-X12_fz8vs-EfDfMpjqKbAhTR4QiiVOYUjIOGeeyyJOcywS5w7O_ydWNmN7Gt73ecydraVPmA_20k1fyP6hCHeCKLNl3IOsbhQr4DPhCCQhD-cr53bnO_POV6-aoH6nQAW7gUCdhPKvUINqAn_b0PjwjaC50CFElsgiKTi5H2WTLYBqeUywB53JeiToHFcerSsBUm3lDj8OQw7xSq9X3ocJ7Bzwtss0gMO6G9stVZ0z-UY9Ln1wfXA46Ae67TU0HmwyC6dLM25-sVip3GUSw1tayxmhxs_6JvW5pjJ2oRsUS384QQUN5MzQJrFtbXyfFx1kdHXV_v8xd_1Ov5Mzdsvd6kYjhhTwYLkaCDfAtlXtkD5p09D8fokPpHSFHlWpo_bC01mzyD3eyrdjkxVaD6Ozoh46rcv2R9Nve03aEHJKeWXwiBx39yc_kt0eYLi31CNMGYeoQpogwdQjTBmHaQbhPbia_rsdXYX2zRqhghStDXcSFHEorhMCTXKtGHPzkIhUm4VoaNrQciiQy0P2RTLVIuDQwrZXlyggRRV_I_mK5MEeEwoabaV2YITNDIfJU8VTJnAmtEs4Kbo_JORgiw1mzzmDHiabKnKkyZ6pj8uONb2TQbWO_vtnSCfnQjqVTsl-uNuYMfMYy_1Yh-wJXeWY0 |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+1995+IEEE%2FACM+international+conference+on+Computer-aided+design&rft.atitle=Diagnosis+of+realistic+bridging+faults+with+single+stuck-at+information&rft.au=Chess%2C+Brian&rft.au=Lavo%2C+David+B.&rft.au=Ferguson%2C+F.+Joel&rft.au=Larrabee%2C+Tracy&rft.series=ACM+Conferences&rft.date=1995-12-01&rft.pub=IEEE+Computer+Society&rft.isbn=9780818672132&rft.spage=185&rft.epage=192&rft_id=info:doi/10.5555%2F224841.224879 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818672132/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818672132/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818672132/sc.gif&client=summon&freeimage=true |