تسریع اجرای الگوریتم تولید خودکار الگوی آزمون مبتنی بر رویکرد ارضاپذیری بولی با استفاده از پردازندههای گرافیکی

با توجه به بزرگ شدن اندازه مدارها، روش های تولید خودکار الگوی آزمون برای تراشههای بسیار مجتمع امروزی، کارآیی خود را از دو منظر درصد شناسایی اشکال (پوشش اشکال) و سرعت اجرا از دست دادهاند. دستهای از این روش ها، الگوریتمهای تولید الگوی آزمون مبتنی بر رویکرد ارضاپذیری بولی هستند که در آنها، تابع منطقی مدار ابتدا به تعدادی ماکسترم تبدیل شده و سپس عبارت بولی به دست آمده اصطلاحا حل شده و بردارهای آزمون به دست میآیند. این الگوریتمها پوشش اشکال بالایی از خود نشان می دهند اما زمان اجرای زیاد آنها باعث شده تا اقبال کمتری به این دسته از الگوریتمها وجود داشته باشد. در این مقاله، با بهره گیری از محاسبات موازی، سرعت اجرای یک الگوریتم تولید الگوری آزمون برای مدارهای دیجیتال مبتنی بر ارضاپذیری بولی بهبود داده شده است. به این منظور، بخشی از فرآیند تولید الگوی آزمون به صورت موازی و بر روی پردازنده گرافیکی (با استفاده از کتابخانه کودا) انجام می شود. نتایج به دست آمده نشان می دهد روش پیشنهادی به میزان بیش از ۴ برابر سریع تر از زمانی است که بر روی یک پردازنده چندهسته ای اجرا می شود و به طور میانگین بیش از ۹ برابر سریع تر از الگوریتم پیشنهادی در [۸] است که سعی نموده زمان اجرای الگوریتم های مبتنی بر ارضاپذیری بولی را بهبود دهند.