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

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