توليد خودكار الگوي آزمايش جهت آزمون خطاهاي اتصال كوتاه در مدارهاي تركيبي به روش صدق پذيري بولي

مقطع تحصيلي

كارشناسي ارشد

رشته تحصيلي

مهندسي كامپيوتر گرايش مهندسي معماري

دانشكده

دانشكده مهندسي كامپيوتر، گروه مهندسي معماري

تاريخ دفاع

اسفند ماه 1394

صفحه شمار

89 ص.

استاد راهنما

شهرام اعتمادي

استاد مشاور

محمد سعيد احساني

كليدواژه فارسي

توليد خودكار الگوي آزمايش , صدق پذيري بولي , خطاهاي اتصال كوتاه , آزمون مدار‌هاي تركيبي

تاريخ نمايه سازي

1395/04/14

نام نمايه ساز

ربابه صمدي علي نيا

كليدواژه لاتين

Automatic test pattern generation , Boolean satisfiability , Bridging fault , Combinational circuit test

عنوان لاتين

Automatic Test Pattern Generation for Bridging Faults in Combinational Circuits using Boolean Satisfiability

نويسنده

مختارنيا، حسين

لينک به اين مدرک