شماره ركورد كنفرانس :
1030
عنوان مقاله :
شبيه سازي روش هاي تزريق اشكال و توليد بردار تست جهت بهبود پوشش اشكال
پديدآورندگان :
موذني شادي نويسنده , امامي امين نويسنده
كليدواژه :
معادل سازي اشكال , Stuck-at-fault , تزريق اشكال , توليد بردار تست , پوشش اشكال
عنوان كنفرانس :
مجموعه مقالات دومين كنفرانس بين المللي برق
چكيده فارسي :
در اين مقاله به بررسي و شبيه سازي روش هاي تزريق اشكال به مدار و استفاده از الگوريتمي خاص جهت محاسبه بالاترين مقدار پوشش اشكال با توجه به پارامترهاي متعدد پرداخته شده است.روش ارائه شده در اين مقاله بدون نياز به هر گونه تغيير در ساختار مدار به تزريق خطا و سپس محاسبه ي پوشش اشكال مي پردازد. الگوريتم هاي متعددي جهت تزريق اشكال ارائه گرديده كه پس از پياده سازي تك تك آنها به مقايسه كلي آنها پرداخته و مزايا و معايب هر يك بيان مي گردد. كليه فرامين تحت زبان برنامه نويسي VHDL و شبيه سازي هاي مربوط در محيط Modelsim انجام گرديده است.
شماره مدرك كنفرانس :
1913295
