دانلود مقاله ISI انگلیسی شماره 79613
ترجمه فارسی عنوان مقاله

یک الگوریتم اکتشافی تطبیقی برای انتخاب بردار تست VLSI

عنوان انگلیسی
An adaptive heuristic algorithm for VLSI test vectors selection
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
79613 2009 10 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : European Journal of Operational Research, Volume 199, Issue 3, 16 December 2009, Pages 630–639

ترجمه کلمات کلیدی
الگوریتم های اکتشافی؛ برنامه ریزی عدد صحیح؛ VLSI؛ تایید؛ SCP
کلمات کلیدی انگلیسی
Heuristic algorithms; Integer programming; VLSI; Verification; SCP
پیش نمایش مقاله
پیش نمایش مقاله  یک الگوریتم اکتشافی تطبیقی برای انتخاب بردار تست VLSI

چکیده انگلیسی

The increasing complexity of today’s system-on-a-chip designs is putting more pressure on the already stressed design verification process. The verification plan must cover several individual cores as well as the overall chip design. Conditions to be verified are identified by the system’s architects, the designers, and the verification team. Testing for these conditions is a must for the design to tape out, especially for high priority conditions. A significant bottleneck in the verification process of such designs is that not enough time is usually given to the final coverage phase, which makes computing cycles very precious. Thus, intelligent selection of test vectors that achieve the best coverage using the minimum number of computing cycles is crucial for on time tape out. This paper presents a novel heuristic algorithm for test vectors selection. The algorithm attempts to achieve the best coverage level while minimizing the required number of computing cycles.