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

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