Computational complexity of controllability/observability problems for combinational circuits
The computational complexity of fault detection problems and various controllability and observability problems for combinational logic circuits are analyzed. It is shown that the fault detection problem is still NP-complete even for monotone circuits limited in fanout, i.e. the number of signal lin...
Uloženo v:
| Vydáno v: | International Symposium on Fault-Tolerant Computing, 18th, 1988 (FTCS-18): Digest of Papers s. 64 - 69 |
|---|---|
| Hlavní autor: | |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE Comput. Soc. Press
1988
|
| Témata: | |
| ISBN: | 9780818608674, 0818608676 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The computational complexity of fault detection problems and various controllability and observability problems for combinational logic circuits are analyzed. It is shown that the fault detection problem is still NP-complete even for monotone circuits limited in fanout, i.e. the number of signal lines which fanouts from a signal line is limited to three. It is also shown that the observability problem for unate circuits is NP-complete, but that the controllability problem for unate circuits can be solved in time complexity O(m), where m is the number of lines in a circuit. Furthermore, two classes of circuits, called k-binate-bounded circuits and k-bounded circuits, are introduced. For k-binate-bounded circuits, the controllability problem is solvable in polynomial time, and for k-bounded circuits, the fault detection problem is solvable in polynomial time, when k<or=log p(m) for some polynomial p(m). The class of k-bounded circuits includes many practical circuits such as decoders, adders, one-dimensional cellular arrays, two-dimensional cellular arrays, etc.< > |
|---|---|
| AbstractList | The computational complexity of fault detection problems and various controllability and observability problems for combinational logic circuits are analyzed. It is shown that the fault detection problem is still NP-complete even for monotone circuits limited in fanout, i.e. the number of signal lines which fanouts from a signal line is limited to three. It is also shown that the observability problem for unate circuits is NP-complete, but that the controllability problem for unate circuits can be solved in time complexity O(m), where m is the number of lines in a circuit. Furthermore, two classes of circuits, called k-binate-bounded circuits and k-bounded circuits, are introduced. For k-binate-bounded circuits, the controllability problem is solvable in polynomial time, and for k-bounded circuits, the fault detection problem is solvable in polynomial time, when k<or=log p(m) for some polynomial p(m). The class of k-bounded circuits includes many practical circuits such as decoders, adders, one-dimensional cellular arrays, two-dimensional cellular arrays, etc.< > |
| Author | Fujiwara, H. |
| Author_xml | – sequence: 1 givenname: H. surname: Fujiwara fullname: Fujiwara, H. organization: Dept. of Electron. & Commun., Meiji Univ., Kawasaki, Japan |
| BookMark | eNo9kEFLxDAUhAMqqGuv4rF_oN1mm6QvRymuKyx4sFdZXtIEImlT0q64_94sLr7L8A3M8Jh7cj2G0RDySKuS0kqut137UVIJUPKNhCuSyQYqoCAqEA27Jdk8f1XpGOObBu7IZxuG6bjg4sKIPteJvPlxyykPNtG4xOA9KueTtQ5qNvH7QvkUg_JmmHMb4jmo3Phf46I-umV-IDcW_Wyyi65It33p2l2xf399a5_3hQO-FIz1yEDYGkFVmoGVVElQHNA0TW91MmuR3hVgwcgasdeN4Mi1QE0BVb0iT3-1zhhzmKIbMJ4O5wHqX7JLVoI |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/FTCS.1988.5298 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Xplore Digital Library IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore Digital Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EndPage | 69 |
| ExternalDocumentID | 5298 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IK 6IL AAJGR AAWTH ACGHX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK OCL RIB RIC RIE RIL |
| ID | FETCH-LOGICAL-i85t-44da486f3a8b0c48f91b98b58ae77dfcb0c3652768f8e93aadc765a5c6ac18ab3 |
| IEDL.DBID | RIE |
| ISBN | 9780818608674 0818608676 |
| IngestDate | Tue Aug 26 16:51:54 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i85t-44da486f3a8b0c48f91b98b58ae77dfcb0c3652768f8e93aadc765a5c6ac18ab3 |
| PageCount | 6 |
| ParticipantIDs | ieee_primary_5298 |
| PublicationCentury | 1900 |
| PublicationDate | 19880000 |
| PublicationDateYYYYMMDD | 1988-01-01 |
| PublicationDate_xml | – year: 1988 text: 19880000 |
| PublicationDecade | 1980 |
| PublicationTitle | International Symposium on Fault-Tolerant Computing, 18th, 1988 (FTCS-18): Digest of Papers |
| PublicationTitleAbbrev | FTCS |
| PublicationYear | 1988 |
| Publisher | IEEE Comput. Soc. Press |
| Publisher_xml | – name: IEEE Comput. Soc. Press |
| SSID | ssj0000445278 |
| Score | 1.2871368 |
| Snippet | The computational complexity of fault detection problems and various controllability and observability problems for combinational logic circuits are analyzed.... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 64 |
| SubjectTerms | Adders Circuit faults Circuit testing Combinational circuits Computational complexity Controllability Decoding Electrical fault detection Observability Polynomials |
| Title | Computational complexity of controllability/observability problems for combinational circuits |
| URI | https://ieeexplore.ieee.org/document/5298 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA1aPHiyYsVv9uB1203zNTkXiwcpBXvoRUqSncCCdKXdiv57k-xaEbx42wzsZJk9ZOZl5j1C7gvOPWfoc6eNzrlwZW48hdyh8IUwKCkm1ZInNZvBcqnnHVl0moVBxNR8hsP4mO7yy9rtIlQ2EmMNh-RQKdkOau3BlLCjGCtI_I4UZEjTlezYdb7XvGNspIUeTReT52GotmEYPf7SVUnHyvTkHx_UJ4Of4bxsvj92TskBrs_IS6vO0CF7WWoUx4-QYWe1z7p29NeWkvtzVNsExbarrJOU2WYhfY0vhlJ576bauF3VbAdkMX1YTB7zTjkhr0A0Oeel4SA9M2ALx8FrajVYAQaVKr0LRiZDwCR4QM2MKZ2SwggnjaNgLDsnvXW9xguSCcsNcyy44siNpQZKO0bJg0mH0gwuST-GZfXWcmOsYkSu_rBdk-MY8Ba8uCG9ZrPDW3Lk3ptqu7lLf_MLcR2igg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA1aBT1ZseK3e_C67X4k2cm5WCrWUnAPvUhJshNYkK60W9F_b5JdK4IXb5uBnSyzh8y8zLxHyF1EqaEpmlALKULKdBFKE0OokZmISeQxetWSSTadwnwuZi1ZtJ-FQUTffIZ99-jv8otKbxxUNmCJgF2yxyhNomZUawun2D1ZkoFneIyB20Q94y2_zveatpyNcSQGo3z43Lf1NvSdz1_KKv5gGR3945O6pPcznhfMtgfPMdnB5Ql5afQZWmwv8K3i-GFz7KAyQduQ_tqQcn8OKuXB2GYVtKIy68AmsO5FWyxv3ZQrvSnrdY_ko_t8OA5b7YSwBFaHlBaSAjepBBVpCkbESoBiIDHLCqOtMeU2YBwMoEilLHTGmWSaSx2DVOkp6SyrJZ6RgCkqU51aVxSpVLGEQiXIqTUJW5zBOem6sCzeGnaMhYvIxR-2W3Iwzp8mi8nD9PGSHLrgN1DGFenUqw1ek339Xpfr1Y3_s18REKXJ |
| 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=International+Symposium+on+Fault-Tolerant+Computing%2C+18th%2C+1988+%28FTCS-18%29%3A+Digest+of+Papers&rft.atitle=Computational+complexity+of+controllability%2Fobservability+problems+for+combinational+circuits&rft.au=Fujiwara%2C+H.&rft.date=1988-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818608674&rft.spage=64&rft.epage=69&rft_id=info:doi/10.1109%2FFTCS.1988.5298&rft.externalDocID=5298 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818608674/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818608674/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818608674/sc.gif&client=summon&freeimage=true |