Satisfiability Based Sequential Test Generation and Design for Testability for Mixed Register-transfer/gate-level Circuits
Author | : Loganathan Lingappan |
Publisher | : |
Total Pages | : 350 |
Release | : 2006 |
ISBN-10 | : 0542789795 |
ISBN-13 | : 9780542789793 |
Rating | : 4/5 (793 Downloads) |
Download or read book Satisfiability Based Sequential Test Generation and Design for Testability for Mixed Register-transfer/gate-level Circuits written by Loganathan Lingappan and published by . This book was released on 2006 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis, we present a satisfiability based test generation technique that targets stuck-at faults in a design and exploits any high-level constructs in the circuit description for reducing test generation time. (Abstract shortened by UMI.)