Design error diagnosis and correction in digital circuits /
accuracy.
| Main Author: | |
|---|---|
| Format: | Thesis eBook |
| Language: | English |
| Published: |
[Place of publication not identified] :
[publisher not identified] ;
1998.
|
| Subjects: | |
| Online Access: | Link to OAKTrust copy |
| Summary: | accuracy. and fast, they are not considered accurate enough to As the design of digital systems is becoming Micrographics. be used for error correction. Symbolic methods based catastrophic consequences. It is thus very important design verification. Their role is only to decide efficient way. Simulation and tautology possible, and efficiently overcome the limitations of a symbolic error correction method without sacrificing much error diagnosis methods based on simulation are simple existence of an error is detected, further mechanized have limited applicability due to the memory explosion help is needed to and the error correction. Though increasingly complex, an undetected design error in on Binary Decision Diagrams (BDDs) are accurate enough problem associated with BDDS. This work presents a simulation-based error correction procedure, which can the late phase of the design process may have to be used both for diagnosis and correction, but they to correct them in a fast checking can be used for to discover these design errors as early as and whether the design is correct or not. But when the |
|---|---|
| Item Description: | "Major subject: Computer Science". Vita. |
| Physical Description: | viii, 46 leaves : illustrations ; 28 cm. Also available online. |
| Bibliography: | Includes bibliographical references (leaves 42-45). |