{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/69367"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/69367","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Use of High-Level Descriptions in Fault Simulation and Test Generation","abstract":"The goals of this thesis are to study and demonstrate the advantage of using functional descriptions for fault simulation and test generation. By using functional descriptions, high-level functional modules are treated as circuit primitives, as compared with low-level gates and flip-flops which are used in conventional approaches, and the number of primitives elements in a circuit can be significantly reduced. This reduces the computation needed for fault simulation and test generation. In many instances, functional descriptions are also easier to obtain than detailed gate-level implementations. With the functional approach, various fault models can be incorporated as the need arises, which allows more realistic fault models to be used.","abstract_html":"The goals of this thesis are to study and demonstrate the advantage of using functional descriptions for fault simulation and test generation. By using functional descriptions, high-level functional modules are treated as circuit primitives, as compared with low-level gates and flip-flops which are used in conventional approaches, and the number of primitives elements in a circuit can be significantly reduced. This reduces the computation needed for fault simulation and test generation. In many instances, functional descriptions are also easier to obtain than detailed gate-level implementations. With the functional approach, various fault models can be incorporated as the need arises, which allows more realistic fault models to be used.","abstract_has_math":false,"creators":["Chang, Hong-Tao Paul"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Abraham, Jacob A."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12-15T19:05:22Z","date_published":"2014-12-15T19:05:22Z","updated_at":"2026-07-22T22:26:00Z","subjects":["Engineering, Electronics and Electrical","Computer Science"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(UMI)AAI8802994"],"render_values":[{"text":"(UMI)AAI8802994","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/69367","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":["Chang, Hong-Tao Paul"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12-15T19:05:22Z","10000-01-01","1987"]},{"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":["Engineering, Electronics and Electrical","Computer Science"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/69367","(UMI)AAI8802994"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["The goals of this thesis are to study and demonstrate the advantage of using functional descriptions for fault simulation and test generation. By using functional descriptions, high-level functional modules are treated as circuit primitives, as compared with low-level gates and flip-flops which are used in conventional approaches, and the number of primitives elements in a circuit can be significantly reduced. This reduces the computation needed for fault simulation and test generation. In many instances, functional descriptions are also easier to obtain than detailed gate-level implementations. With the functional approach, various fault models can be incorporated as the need arises, which allows more realistic fault models to be used.","The complexity of accurate logic simulation with the existence of unknown values is first studied. It is demonstrated that current gate-level simulators cannot handle unknown propagation properly, and therefore produce pessimistic results. A set of algorithms, based on high-level descriptions of functions, has been developed for accurate logic simulation. Experiments on large benchmark functions show the advantage of using high-level descriptions and provide empirical rules for predicting when approximate simulation would provide satisfactory results.","In Chapter 3, an innovative fault simulation technique is proposed which incorporates high-level circuit descriptions together with high-level fault models to achieve a more efficient, flexible, and accurate fault simulation system. Programmable Logic Arrays (PLAs) and Read Only Memories (ROMs) are chosen as examples for discussion. The proposed technique has been implemented in an existing fault simulation system, CHIEFS. Experiments done on some real PLAs show that, compared with gate-level fault simulation, significant reduction in both time and storage requirements can be achieved using the new technique.","Made available in DSpace on 2014-12-15T19:05:22Z (GMT). No. of bitstreams: 1 8802994.pdf: 3152741 bytes, checksum: ea86e2a073b7815dcff04284152d8767 (MD5) Previous issue date: 1987","Embargo set by: Seth Robbins for item 69533 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","94 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1987."]},{"key":"dc:title","label":"Title","values":["Use of High-Level Descriptions in Fault Simulation and Test Generation"]}]}],"canonical_facts":{"dc:contributor":["Abraham, Jacob A."],"dc:creator":["Chang, Hong-Tao Paul"],"dc:date":["2014-12-15T19:05:22Z","10000-01-01","1987"],"dc:description":["The goals of this thesis are to study and demonstrate the advantage of using functional descriptions for fault simulation and test generation. By using functional descriptions, high-level functional modules are treated as circuit primitives, as compared with low-level gates and flip-flops which are used in conventional approaches, and the number of primitives elements in a circuit can be significantly reduced. This reduces the computation needed for fault simulation and test generation. In many instances, functional descriptions are also easier to obtain than detailed gate-level implementations. With the functional approach, various fault models can be incorporated as the need arises, which allows more realistic fault models to be used.","The complexity of accurate logic simulation with the existence of unknown values is first studied. It is demonstrated that current gate-level simulators cannot handle unknown propagation properly, and therefore produce pessimistic results. A set of algorithms, based on high-level descriptions of functions, has been developed for accurate logic simulation. Experiments on large benchmark functions show the advantage of using high-level descriptions and provide empirical rules for predicting when approximate simulation would provide satisfactory results.","In Chapter 3, an innovative fault simulation technique is proposed which incorporates high-level circuit descriptions together with high-level fault models to achieve a more efficient, flexible, and accurate fault simulation system. Programmable Logic Arrays (PLAs) and Read Only Memories (ROMs) are chosen as examples for discussion. The proposed technique has been implemented in an existing fault simulation system, CHIEFS. Experiments done on some real PLAs show that, compared with gate-level fault simulation, significant reduction in both time and storage requirements can be achieved using the new technique.","Made available in DSpace on 2014-12-15T19:05:22Z (GMT). No. of bitstreams: 1 8802994.pdf: 3152741 bytes, checksum: ea86e2a073b7815dcff04284152d8767 (MD5) Previous issue date: 1987","Embargo set by: Seth Robbins for item 69533 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","94 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1987."],"dc:identifier":["http://hdl.handle.net/2142/69367","(UMI)AAI8802994"],"dc:subject":["Engineering, Electronics and Electrical","Computer Science"],"dc:title":["Use of High-Level Descriptions in Fault Simulation and Test Generation"],"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:00Z"}