نام پژوهشگر: مهدی سپه کار
مهدی سپه کار شادرخ سماوی
خطای تاخیر مسیر از انواع مهم خطا در مدارهاست که به علت ویژگی های خاصش مورد توجه بسیار واقع شده است. تعداد زیاد مسیر در مدارها، آزمایش کامل این خطا را دشوار می سازد. روش های مختلف سعی در افزایش پوشش خطا کاهش زمان تولید بردار آزمایش ، کاهش زمان شبیه سازی و کم کردن اندازه مجموعه بردار آزمایش قرار دارند. استفاده از روش هایی که بدون در نظر گرفتن مسیرها به شکل آشکار ، بتوانند مسیرهای زیادی را مورد آزمایش قرار دهند، به بهبود شرایط کمک می کند. nest از جمله این روش هاست یافتن بردارهای آزمایش در زمانی خطی نسبت به اندازه مدار به نحوی که هر بردار قادر به کشف تعداد زیادی خطای تاخیر مسیر باشد هدف این الگوریتم است. قسمتی از الگوریتم که به طور کامل به این هدف نمی رسد، مربوط به نحوه توجیه مقادیر منطقی است که برای یافتن بردار آزمایش باید در مدار ایجاد شوند. این قسمت در سرعت تولید بردارها موثر است. انتخاب روشی مناسب برای این قسمت موجب حفظ کارایی الگوریتم خواهد شد. podem روشی نسبتا کارآ برای این منظور است. در این روش سعی می شود در زمان کوتاهی قابلیت توجیه مقادیر مشخص شده بردار ورودی لازم تعیین شود. نکته دیگر لزوم محاسبه پوشش خطای بردار آزمایش است. استفاده از روش غیر شمارشی در این قسمت نیز کارایی را بهبود می بخشد. البته تاثیر این قسمت بر کارایی الگوریتم از دو قسمت قبل بسیار کمتر است . ترکیب nest , podem و یک روش غیر شمارشی برای محاسبه میزان پوشش خطای هر بردار ، تولید کننده بردار آزمایشی را بدست خواهد داد، که کارایی خوبی نسبت به سایر روش ها دارد. نقاط ضعفی در nest وجود دارد. از جمله حذف کردن بخشی از مسیر ها بدون هوشیاری کافی که با اضافه کردن رویه جدیدی به الگوریتم سعی در بهبود بخشیدن به این بخش کرده ایم. نتایج اجرای این الگوریتم و الگوریتم بهبود یافته بر روی مدارهای استاندارد نیز ثبت شده است.