Logic verification using recursive learning, ATPG and transformations /
ATPG and Transformations. A logic verification tool,
| Main Author: | |
|---|---|
| Format: | Thesis eBook |
| Language: | English |
| Published: |
[Place of publication not identified] :
[publisher not identified] ;
1996.
|
| Subjects: | |
| Online Access: | Link to OAKTrust copy |
| Summary: | ATPG and Transformations. A logic verification tool, combinational logic circuits using Recursive learning, Experimental results on the ISCAS85 benchmark circuits have been included. The approach is shown to be fast and robust for a wide variety of circuits. It has been shown to be especially suited for verifying dissimilar circuits VeriLAT, was implemented based on this approach. We describe a new approach for formal verification of which cause a lot of problems to other approaches. |
|---|---|
| Item Description: | "Major subject: Computer Science". Vita. |
| Physical Description: | x, 79 leaves : illustrations ; 28 cm. Also available online. Issued also on microfiche from Lange Micrographics. |
| Bibliography: | Includes bibliographical references: pages 73-78. |