نام پژوهشگر: مهدی سپه کار

شبیه سازی ازمون مدارهای ترکیبی برای عیوب تاخیر مسیر
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان 1379
  مهدی سپه کار   شادرخ سماوی

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