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

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

در این پایان نامه برای اولین بار از دو الگوریتم بهینه سازی جستجوی گرانشی و الگوریتم بهینهسازی صفحات شیب دار در تولید الگوهای تست اتوماتیک برای مدارات ترتیبی سنکرون استفاده شده است. همچنین الگوریتم های جدیدی برای انتخاب خطای هدف، تولید الگوی تست و فشرده سازی مجموعه تست ارائه شده است و نتایج با دیگر الگوریتمهای تولید الگوی تست اتوماتیک برای مدارات ترتیبی مقایسه شده است که نتایج حاکی از موفقیت این الگوریتم ها در تولید الگوی تست با بالاترین درصد پوشش در کوتاه ترین زمان نسبت به الگوریتم های پیشین است. همچنین به منظور مقایسه دقیق تر بین این دو الگوریتم جدید و الگوریتم های پیشین یک ضریب به نام ضریب کارآمدی تعریف شده است که معیاری از سرعت، درصد پوشش و طول رشته تست تولید شده توسط هر یک از این الگوریتم های تولید کننده الگوی تست برای مدارات ترتیبی است که نتایج نشان دهنده برتری این دو الگوریتم نسبت به دیگر الگوریتم ها بر اساس مقادیر بدست آمده برای ضریب کارآمدی است.