Generating Circuit Tests by Exploiting Designed Behavior
Author(s)
Shirley, Mark Harper
DownloadAITR-1099.ps (42.78Mb)
Additional downloads
Metadata
Show full item recordAbstract
This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit behavior that connects internal component operations with directly executable circuit operations. Operation relations can be computed efficiently by searching traces of simulated circuit behavior. Second, experts write test programs rather than test vectors because programs are more readable and compact. Test programs can be constructed automatically by merging program fragments using expert-supplied goal-refinement rules and domain-independent planning techniques.
Date issued
1988-12-01Other identifiers
AITR-1099
Series/Report no.
AITR-1099
Keywords
knowledge-based systems, VLSI, circuit testing, testsgeneration