Application of functional learning to ATPG and design verification for combinational circuits /
and manipulate novel information regarding the circuit in
| Main Author: | |
|---|---|
| Format: | Thesis eBook |
| Language: | English |
| Published: |
[Place of publication not identified] :
[publisher not identified] ;
1994.
|
| Subjects: | |
| Online Access: | Link to OAKTrust copy |
| Summary: | and manipulate novel information regarding the circuit in been shown to be extremely effective in finding test vectors decision diagrams (BDD) as the main data structure. This efficient alternative to the traditional branch-and-bound for hard to detect faults and in detecting redundant faults. In this research, Functional Learning has been applied to the Learning techniques have also been effectively applied to the learning, based on implication procedures using the binary method is complete - given enough time, it will determine all obtained indicate that Functional Learning is indeed a very of Functional Learning is its ability to extract, maintain powerful tool for application to CAD problems. problem of design verification for combinational circuits. problems of combinational circuit ATPG and design Recently, learning-based techniques have been proposed as an situation of value assignments. The most attractive feature techniques for test generation. The learning techniques have terms of compact BDD representations for Boolean functions. the uniquely implied values in the circuit from the current This paper presents Functional Learning, a new method of verification for combinational logic circuits. The results |
|---|---|
| Item Description: | "Major subject: Computer Science". Vita. |
| Physical Description: | ix, 62 leaves : illustrations ; 28 cm. Also available online. |
| Bibliography: | Includes bibliographical references. |