The Community for Technology Leaders
2013 IEEE 31st VLSI Test Symposium (VTS) (2000)
Montreal, Canada
Apr. 30, 2000 to May 4, 2000
ISSN: 1093-0167
ISBN: 0-7695-0613-5
pp: 263
V. Boppana , Fujitsu Labs. of America, Inc.
A. Jain , Intel Corp.
J. Jain , Fujitsu Labs. of America, Inc.
M. Hsiao , Rutgers University
R. Mukherjee , Fujitsu Labs. of America, Inc.
M. ~Fujita , Fujitsu Labs. of America, Inc.
ABSTRACT
Improvement of the accuracy of error and fault diagnosis as well as ATPG for IP-based designs is important problems in industry. In this paper, we address these problems when portions of the design may be unspecified. Two approaches to solve these problems have been presented: (1) solving Boolean satisfiability under unknown constraints, and (2) a network modification-based solution. Experimental results on constrained equivalence checking, enhancement of error diagnosis resolution for combinational circuits, and ATPG for IP-based designs have been presented on the ISCAS 85 benchmark and industrial circuits.
INDEX TERMS
CITATION
V. Boppana, A. Jain, J. Jain, M. Hsiao, R. Mukherjee, M. ~Fujita, "Testing, Verification, and Diagnosis in the Presence of Unknowns", 2013 IEEE 31st VLSI Test Symposium (VTS), vol. 00, no. , pp. 263, 2000, doi:10.1109/VTEST.2000.843854
103 ms
(Ver 3.3 (11022016))