{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/71982"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/71982","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Architectural Level Test Generation and Fault Simulation","abstract":"In this thesis, a high level branch-and-bound based ATPG approach will be first presented. This method is a reasonable extension of the gate level ATPG approaches. Although various effective techniques have been applied, this method has sluggish performance for circuits with complicated data path or control. The second approach, based on a nonlinear equation solving, is proposed to overcome the difficulties. The test generation process is separated into two phases. An instruction sequence assembling methodology is developed in the first phase to search for a valid instruction sequence for the injected test vector of the module under test. In the second phase, a complete system of nonlinear equations is derived based on the instruction sequence, and a discrete relaxation algorithm is proposed to solve this system of equations to derive the value solution. In the first phase, only path analysis is performed so that the complexity of searching is significantly reduced. The exact value solution is derived in the second phase and the data flow value conflicts are efficiently solved. The experimental results show that the proposed techniques are very effective and promising.","abstract_html":"In this thesis, a high level branch-and-bound based ATPG approach will be first presented. This method is a reasonable extension of the gate level ATPG approaches. Although various effective techniques have been applied, this method has sluggish performance for circuits with complicated data path or control. The second approach, based on a nonlinear equation solving, is proposed to overcome the difficulties. The test generation process is separated into two phases. An instruction sequence assembling methodology is developed in the first phase to search for a valid instruction sequence for the injected test vector of the module under test. In the second phase, a complete system of nonlinear equations is derived based on the instruction sequence, and a discrete relaxation algorithm is proposed to solve this system of equations to derive the value solution. In the first phase, only path analysis is performed so that the complexity of searching is significantly reduced. The exact value solution is derived in the second phase and the data flow value conflicts are efficiently solved. The experimental results show that the proposed techniques are very effective and promising.","abstract_has_math":false,"creators":["Lee, Jaushin"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Patel, Janak H."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12-16T22:23:00Z","date_published":"2014-12-16T22:23:00Z","updated_at":"2026-07-22T22:26:05Z","subjects":["Engineering, Electronics and Electrical","Computer Science"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(UMI)AAI9305598"],"render_values":[{"text":"(UMI)AAI9305598","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/71982","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Patel, Janak H."]},{"key":"dc:creator","label":"Author","values":["Lee, Jaushin"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12-16T22:23:00Z","10000-01-01","1992"]},{"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/71982","(UMI)AAI9305598"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In this thesis, a high level branch-and-bound based ATPG approach will be first presented. This method is a reasonable extension of the gate level ATPG approaches. Although various effective techniques have been applied, this method has sluggish performance for circuits with complicated data path or control. The second approach, based on a nonlinear equation solving, is proposed to overcome the difficulties. The test generation process is separated into two phases. An instruction sequence assembling methodology is developed in the first phase to search for a valid instruction sequence for the injected test vector of the module under test. In the second phase, a complete system of nonlinear equations is derived based on the instruction sequence, and a discrete relaxation algorithm is proposed to solve this system of equations to derive the value solution. In the first phase, only path analysis is performed so that the complexity of searching is significantly reduced. The exact value solution is derived in the second phase and the data flow value conflicts are efficiently solved. The experimental results show that the proposed techniques are very effective and promising.","In a hierarchical test generation process, the system level functional constraints on the inputs of the module under test cause the ATPG to be inefficient. This thesis will propose both top-down and bottom-up techniques to overcome control constraints and bus constraints. The experimental results show that a very significant speedup can be achieved.","An architectural level fault simulator using symbolic data is proposed in this thesis to relieve the dependence of the complete gate level description. At the architectural level, the behavioral simulation uses symbolic data to simultaneously process the fault effects for groups of faults in the module under simulation to accelerate the process. Combined with the high level test generation techniques, this new fault simulation technique forms a complete test generation package at the architectural level. The proposed fault simulator has also been implemented, and the experimental results show that both functional tests and test vectors generated by ATPG tools can be successfully simulated on the benchmark circuits. (Abstract shortened by UMI.)","Made available in DSpace on 2014-12-16T22:23:00Z (GMT). No. of bitstreams: 1 9305598.pdf: 6128304 bytes, checksum: 0c5c8d39aafdb60333ee0acc7d6d0b90 (MD5) Previous issue date: 1992","Embargo set by: Seth Robbins for item 72148 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","168 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992."]},{"key":"dc:title","label":"Title","values":["Architectural Level Test Generation and Fault Simulation"]}]}],"canonical_facts":{"dc:contributor":["Patel, Janak H."],"dc:creator":["Lee, Jaushin"],"dc:date":["2014-12-16T22:23:00Z","10000-01-01","1992"],"dc:description":["In this thesis, a high level branch-and-bound based ATPG approach will be first presented. This method is a reasonable extension of the gate level ATPG approaches. Although various effective techniques have been applied, this method has sluggish performance for circuits with complicated data path or control. The second approach, based on a nonlinear equation solving, is proposed to overcome the difficulties. The test generation process is separated into two phases. An instruction sequence assembling methodology is developed in the first phase to search for a valid instruction sequence for the injected test vector of the module under test. In the second phase, a complete system of nonlinear equations is derived based on the instruction sequence, and a discrete relaxation algorithm is proposed to solve this system of equations to derive the value solution. In the first phase, only path analysis is performed so that the complexity of searching is significantly reduced. The exact value solution is derived in the second phase and the data flow value conflicts are efficiently solved. The experimental results show that the proposed techniques are very effective and promising.","In a hierarchical test generation process, the system level functional constraints on the inputs of the module under test cause the ATPG to be inefficient. This thesis will propose both top-down and bottom-up techniques to overcome control constraints and bus constraints. The experimental results show that a very significant speedup can be achieved.","An architectural level fault simulator using symbolic data is proposed in this thesis to relieve the dependence of the complete gate level description. At the architectural level, the behavioral simulation uses symbolic data to simultaneously process the fault effects for groups of faults in the module under simulation to accelerate the process. Combined with the high level test generation techniques, this new fault simulation technique forms a complete test generation package at the architectural level. The proposed fault simulator has also been implemented, and the experimental results show that both functional tests and test vectors generated by ATPG tools can be successfully simulated on the benchmark circuits. (Abstract shortened by UMI.)","Made available in DSpace on 2014-12-16T22:23:00Z (GMT). No. of bitstreams: 1 9305598.pdf: 6128304 bytes, checksum: 0c5c8d39aafdb60333ee0acc7d6d0b90 (MD5) Previous issue date: 1992","Embargo set by: Seth Robbins for item 72148 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","168 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992."],"dc:identifier":["http://hdl.handle.net/2142/71982","(UMI)AAI9305598"],"dc:subject":["Engineering, Electronics and Electrical","Computer Science"],"dc:title":["Architectural Level Test Generation and Fault Simulation"],"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:05Z"}