{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/22562"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/22562","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Techniques for automatic test knowledge extraction from compiled circuits","abstract":"In the past, research has shown that the use of high-level test knowledge can be used to greatly accelerate the test generation process. The problem was that no techniques were developed to extract this knowledge from a circuit. Typically, the only solution for a circuit designer was to manually extract the test knowledge. When designers are using sophisticated high-level synthesis tools (e.g., a silicon compiler), the designer may not be competent to extract this type of knowledge. In this thesis, solutions to the problem of automatically extracting this high-level knowledge from the structure of a compiled circuit are presented.","abstract_html":"In the past, research has shown that the use of high-level test knowledge can be used to greatly accelerate the test generation process. The problem was that no techniques were developed to extract this knowledge from a circuit. Typically, the only solution for a circuit designer was to manually extract the test knowledge. When designers are using sophisticated high-level synthesis tools (e.g., a silicon compiler), the designer may not be competent to extract this type of knowledge. In this thesis, solutions to the problem of automatically extracting this high-level knowledge from the structure of a compiled circuit are presented.","abstract_has_math":false,"creators":["Thearling, Kurt Henry"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical and Computer Engineering","degree_department":null,"school":null,"contributors":["Abraham, Jacob A."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T13:43:52Z","date_published":"2011-05-07T13:43:52Z","updated_at":"2026-07-22T22:25:20Z","subjects":["Engineering, Electronics and Electrical","Artificial Intelligence","Computer Science"],"languages":["eng"],"rights":["Copyright 1990 Thearling, Kurt Henry"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9114437","(UMI)AAI9114437"],"render_values":[{"text":"AAI9114437","href":null,"code":true},{"text":"(UMI)AAI9114437","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/22562","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Abraham, Jacob A."]},{"key":"dc:creator","label":"Author","values":["Thearling, Kurt Henry"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T13:43:52Z","10000-01-01","1990"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical and Computer 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":["Engineering, Electronics and Electrical","Artificial Intelligence","Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1990 Thearling, Kurt Henry"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9114437","(UMI)AAI9114437","http://hdl.handle.net/2142/22562"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In the past, research has shown that the use of high-level test knowledge can be used to greatly accelerate the test generation process. The problem was that no techniques were developed to extract this knowledge from a circuit. Typically, the only solution for a circuit designer was to manually extract the test knowledge. When designers are using sophisticated high-level synthesis tools (e.g., a silicon compiler), the designer may not be competent to extract this type of knowledge. In this thesis, solutions to the problem of automatically extracting this high-level knowledge from the structure of a compiled circuit are presented.","Two different types of knowledge are addressed. The first type of knowledge is a testability measure. We present solutions to the problem estimating the testability for circuits defined at a functional level. By using an information theoretic testability measure, the concepts of controllability and observability are captured. Instead of requiring exhaustive enumeration of the input space to compute the measure (as has been previously suggested), we presented two different methods for efficiently and accurately estimating the measure. In addition, we have present various applications of the measure, including automatic circuit partitioning and test point insertion.","The second type of knowledge is used in test generation. We describe techniques to automatically extract high-level test and DFT knowledge from the structure of compiled circuits. These techniques work autonomously and require no user intervention. This system has been implemented in a SUN workstation environment and is known as DELPHI. It operates on the high-level dataflow representation of a compiled circuit and generates the test knowledge in the form of lists of primary input assignments. Achieving both high levels of fault coverage and fast performance, DELPHI can extract test knowledge from both non-sequential and sequential circuits. When test knowledge extraction is unsuccessful, additional DFT knowledge is obtained to efficiently represent design for testability options. In those cases in which users are able to provide test knowledge, techniques to verify user-provided knowledge are described.","Made available in DSpace on 2011-05-07T13:43:52Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9114437.pdf: 4493578 bytes, checksum: f0004fed44cd7088275d6e8e909e66af (MD5) Previous issue date: 1990","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:58:28Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:27:30-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Techniques for automatic test knowledge extraction from compiled circuits"]}]}],"canonical_facts":{"dc:contributor":["Abraham, Jacob A."],"dc:creator":["Thearling, Kurt Henry"],"dc:date":["2011-05-07T13:43:52Z","10000-01-01","1990"],"dc:description":["In the past, research has shown that the use of high-level test knowledge can be used to greatly accelerate the test generation process. The problem was that no techniques were developed to extract this knowledge from a circuit. Typically, the only solution for a circuit designer was to manually extract the test knowledge. When designers are using sophisticated high-level synthesis tools (e.g., a silicon compiler), the designer may not be competent to extract this type of knowledge. In this thesis, solutions to the problem of automatically extracting this high-level knowledge from the structure of a compiled circuit are presented.","Two different types of knowledge are addressed. The first type of knowledge is a testability measure. We present solutions to the problem estimating the testability for circuits defined at a functional level. By using an information theoretic testability measure, the concepts of controllability and observability are captured. Instead of requiring exhaustive enumeration of the input space to compute the measure (as has been previously suggested), we presented two different methods for efficiently and accurately estimating the measure. In addition, we have present various applications of the measure, including automatic circuit partitioning and test point insertion.","The second type of knowledge is used in test generation. We describe techniques to automatically extract high-level test and DFT knowledge from the structure of compiled circuits. These techniques work autonomously and require no user intervention. This system has been implemented in a SUN workstation environment and is known as DELPHI. It operates on the high-level dataflow representation of a compiled circuit and generates the test knowledge in the form of lists of primary input assignments. Achieving both high levels of fault coverage and fast performance, DELPHI can extract test knowledge from both non-sequential and sequential circuits. When test knowledge extraction is unsuccessful, additional DFT knowledge is obtained to efficiently represent design for testability options. In those cases in which users are able to provide test knowledge, techniques to verify user-provided knowledge are described.","Made available in DSpace on 2011-05-07T13:43:52Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9114437.pdf: 4493578 bytes, checksum: f0004fed44cd7088275d6e8e909e66af (MD5) Previous issue date: 1990","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:58:28Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:27:30-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["AAI9114437","(UMI)AAI9114437","http://hdl.handle.net/2142/22562"],"dc:language":["eng"],"dc:rights":["Copyright 1990 Thearling, Kurt Henry"],"dc:subject":["Engineering, Electronics and Electrical","Artificial Intelligence","Computer Science"],"dc:title":["Techniques for automatic test knowledge extraction from compiled circuits"],"dc:type":["text"],"thesis:degree_discipline":["Electrical and Computer Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:20Z"}