Hierarchical testing using precomputed tests for modules.
dc.contributor.author | Murray, Brian Thomas | en_US |
dc.contributor.advisor | Hayes, John P. | en_US |
dc.date.accessioned | 2014-02-24T16:20:55Z | |
dc.date.available | 2014-02-24T16:20:55Z | |
dc.date.issued | 1994 | en_US |
dc.identifier.other | (UMI)AAI9513439 | en_US |
dc.identifier.uri | http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:9513439 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/104358 | |
dc.description.abstract | This thesis presents a new theory and method for generating tests for digital integrated circuits (ICs). Unlike most previous test generation techniques, which use logic-gate models of ICs, our method uses hierarchical models containing large primitive modules such as ALUs and multipliers connected by multi-bit buses. Many modern ICs are composed of complex, previously designed modules that can only be tested by reusing tests that were computed when the modules were designed. Our method propagates stimulus signals to the inputs of each module, and propagates module responses to the IC's primary outputs. We describe and evaluate a program we designed named PathPlan, one of the first test generators to use circuit and signal hierarchy and precomputed tests. PathPlan propagates symbolic references to precomputed tests along circuit paths. It is much faster than conventional test generators, and some of its features have already been applied commercially. However PathPlan and other hierarchical test generators described in the literature cannot generate tests for ICs whose bus structure is irregular, that is, when some buses are truncated. We present a general theory of signal propagation that enables the development of hierarchical test generation programs for complex circuits with truncated buses. A special representation of a module's input-output behavior called a propagation function is defined to quantify the module's signal transmission properties. A propagation algebra is developed and used to combine propagation functions for modules into propagation functions for multi-module circuits. Several theorems governing the transparency of signal transmission in circuits are proved using this algebra. The algebra also forms the basis for an efficient, hierarchical error propagation method for test generation, and a novel design-for-testability strategy. Finally, we describe a successor program to PathPlan called PathPlan2. This new test generator propagates module test stimulus signals as symbolic expressions, and implements the hierarchical error signal propagation method based on our theory to transmit module responses. It handles circuits with irregular bus structures and is more powerful and general than PathPlan, nevertheless, its performance is at least as good. | en_US |
dc.format.extent | 225 p. | en_US |
dc.rights | CC BY 4.0 | |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
dc.subject | Engineering, Electronics and Electrical | en_US |
dc.subject | Computer Science | en_US |
dc.title | Hierarchical testing using precomputed tests for modules. | en_US |
dc.type | Thesis | en_US |
dc.description.thesisdegreename | PhD | en_US |
dc.description.thesisdegreediscipline | Computer Science and Engineering | en_US |
dc.description.thesisdegreegrantor | University of Michigan, Horace H. Rackham School of Graduate Studies | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/104358/1/9513439.pdf | en |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/104358/4/license_rdf | en |
dc.description.filedescription | Description of 9513439.pdf : Restricted to UM users only. | en_US |
dc.owningcollname | Dissertations and Theses (Ph.D. and Master's) |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.