Techniques for automatic test knowledge extraction from compiled circuits
Thearling, Kurt Henry
This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.
Permalink
https://hdl.handle.net/2142/22562
Description
Title
Techniques for automatic test knowledge extraction from compiled circuits
Author(s)
Thearling, Kurt Henry
Issue Date
1990
Doctoral Committee Chair(s)
Abraham, Jacob A.
Department of Study
Electrical and Computer Engineering
Discipline
Electrical and Computer Engineering
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Engineering, Electronics and Electrical
Artificial Intelligence
Computer Science
Language
eng
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.
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.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
