{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/81201"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/81201","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"State Information-Based Solutions for Sequential Circuit Diagnosis and Testing","abstract":"Identifying and understanding the capabilities of sequential untestability identification by practical ATPG algorithms is vital to areas such as ATPG-based optimization and ATPG-based verification. This research provides conditions based on the state properties of the good and the faulty machines involved to ensure that the behavior of the circuit in the presence of untestable faults, as identified by practical sequential ATPG algorithms, is not different from the good circuit. This helps alleviate problems faced with the use of such algorithms in applications where inaccuracies in the identified untestabilities are unacceptable.","abstract_html":"Identifying and understanding the capabilities of sequential untestability identification by practical ATPG algorithms is vital to areas such as ATPG-based optimization and ATPG-based verification. This research provides conditions based on the state properties of the good and the faulty machines involved to ensure that the behavior of the circuit in the presence of untestable faults, as identified by practical sequential ATPG algorithms, is not different from the good circuit. This helps alleviate problems faced with the use of such algorithms in applications where inaccuracies in the identified untestabilities are unacceptable.","abstract_has_math":false,"creators":["Boppana, Vamsi"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Fuchs, W. Kent"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-09-25T20:10:02Z","date_published":"2015-09-25T20:10:02Z","updated_at":"2026-07-22T22:26:15Z","subjects":["Computer Science"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(MiAaPQ)AAI9812536"],"render_values":[{"text":"(MiAaPQ)AAI9812536","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/81201","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Fuchs, W. Kent"]},{"key":"dc:creator","label":"Author","values":["Boppana, Vamsi"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-09-25T20:10:02Z","10000-01-01","1997"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/81201","(MiAaPQ)AAI9812536"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Identifying and understanding the capabilities of sequential untestability identification by practical ATPG algorithms is vital to areas such as ATPG-based optimization and ATPG-based verification. This research provides conditions based on the state properties of the good and the faulty machines involved to ensure that the behavior of the circuit in the presence of untestable faults, as identified by practical sequential ATPG algorithms, is not different from the good circuit. This helps alleviate problems faced with the use of such algorithms in applications where inaccuracies in the identified untestabilities are unacceptable.","Made available in DSpace on 2015-09-25T20:10:02Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 9812536.pdf: 3007213 bytes, checksum: 078395d992706fc45b2947a1c0de3062 (MD5) Previous issue date: 1997","Embargo set by: Seth Robbins for item 82482 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","104 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1997."]},{"key":"dc:title","label":"Title","values":["State Information-Based Solutions for Sequential Circuit Diagnosis and Testing"]}]}],"canonical_facts":{"dc:contributor":["Fuchs, W. Kent"],"dc:creator":["Boppana, Vamsi"],"dc:date":["2015-09-25T20:10:02Z","10000-01-01","1997"],"dc:description":["Identifying and understanding the capabilities of sequential untestability identification by practical ATPG algorithms is vital to areas such as ATPG-based optimization and ATPG-based verification. This research provides conditions based on the state properties of the good and the faulty machines involved to ensure that the behavior of the circuit in the presence of untestable faults, as identified by practical sequential ATPG algorithms, is not different from the good circuit. This helps alleviate problems faced with the use of such algorithms in applications where inaccuracies in the identified untestabilities are unacceptable.","Made available in DSpace on 2015-09-25T20:10:02Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 9812536.pdf: 3007213 bytes, checksum: 078395d992706fc45b2947a1c0de3062 (MD5) Previous issue date: 1997","Embargo set by: Seth Robbins for item 82482 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","104 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1997."],"dc:identifier":["http://hdl.handle.net/2142/81201","(MiAaPQ)AAI9812536"],"dc:language":["eng"],"dc:subject":["Computer Science"],"dc:title":["State Information-Based Solutions for Sequential Circuit Diagnosis and Testing"],"dc:type":["text"],"thesis:degree_discipline":["Electrical Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:15Z"}