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

شبیه سازی اشکال تاخیر مسیر روشی برای ارزیابی کیفیت آزمون است که در آن تعداد مسیرهای شناسایی شده توسط یک مجموعه آزمون مشخص می شود. زمان اجرای شبیه سازی اشکال تاخیر مسیر به تعداد کل مسیرهای یک مدار وابسته است. افزایش روز افزون بزرگی و پیچیدگی مدارات دیجیتال و رابطه نمایی تعداد مسیرها بر حسب تعداد دروازه های یک مدار، شبیه سازی اشکال تاخیر مسیر را برای مدارات امروزی به عملیاتی زمان بر تبدیل کرده است. از این رو نیاز به وجود الگوریتم های سرعت بالاتر به شدت احساس می شود. روش های موجود شبیه سازی اشکال تاخیر مسیر بخاطر زمان اجرای طولانی، عدم دقت و یا نیاز به سخت افزار خاص دچار مشکل هستند. در کار حاضر یک الگوریتم بسیار سریع برای شبیه سازی اشکال تاخیر مسیر ارائه می شود که ضمن افزایش سرعت، دقت خود را نیز حفظ می کند و از طرفی برای اجرا به سخت افزار خاصی نیاز ندارد. این روش بطور همزمان از چند تکنیک مختلف برای افزایش سرعت استفاده می کند. برخی از این تکنیک ها مانند رهگیری مسیر بحرانی (جهت کوچک کردن فضای جستجو)، ساده سازی شروط انتشار تاخیر مسیر (برای کاهش حجم محاسبات) و ایجاد چک لیست آرایه ای (به منظور حذف عملیات مقایسه و جستجو هنگام ادغام لیست مسیرهای شناسایی شده) نوآوری محسوب می شوند و بکارگیری آنها در کنار تکنیک های شناخته شده مانند اندیس گذاری مسیرها (برای جلوگیری از استخراج کامل مسیرها) و موازات ۳۲ بیتی (جهت اعمال ۳۲ بردار آزمون همزمان) باعث افزایش قابل توجه سرعت شده است. روش پیشنهادی بر روی تعدادی از مدارهای محک ISCAS۸۵ و  ITC۹۹ آزمایش شده و نتایج ترکیب تکنیک های مختلف با یکدیگر و با تعدادی از کارهای گذشته مقایسه شده است. نتایج بدست آمده، تاثیر تکنیک های بکار رفته و بهبود حدود ۱۸۶ برابری نسبت به کارهای دیگران را نشان می دهد.

آزمون, اشکال تاخیر مسیر, شبیه سازی اشکال, رهگیری مسیر بحرانی, مسیر نیرومند, مسیر غیرنیرومند