Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/12/01 Vol. E96-ANo. 12 ;
pp. 2561-2567 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Logic Synthesis, Test and Verification Keyword: open faults, adjacent lines, test pattern generation, coupling capacitance, SAT-based ATPG,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/12/01 Vol. E86-ANo. 12 ;
pp. 3056-3062 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Timing Verification and Test Generation Keyword: reseeding, LFSR, BIST, test pattern generation,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/09/25 Vol. E83-DNo. 9 ;
pp. 1814-1815 Type of Manuscript: LETTER Category: Fault Tolerance Keyword: test pattern generation, redundant faults,
MINT--An Exact Algorithm for Finding Minimum Test Set-- Yusuke MATSUNAGA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/10/25 Vol. E76-ANo. 10 ;
pp. 1652-1658 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Keyword: test pattern generation, minimum test set, binary decision diagram, minimum set covering problem,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/07/25 Vol. E76-DNo. 7 ;
pp. 776-790 Type of Manuscript: Special Section PAPER (Special Issue on VLSI Testing and Testable Design) Category: Keyword: hardware and design, algorithm, diagnosis, test pattern generation, redundant fault,