Efficient Path Delay Test Generation with Boolean Satisfiability /

Bibliographic Details

Main Author:	Bian, Kun (Author)
Other Authors:	Walker, Duncan (Thesis advisor), Khatri, Sunil P. (Thesis advisor)
Format:	Thesis eBook
Language:	English
Published:	[College Station, Texas] : [Texas A & M University], [2014]
Subjects:	Major Computer Engineering. delay test ATPG SAT
Online Access:	Link to OAK Trust copy