صحه گذاري قانونمند (Formal Verification) مدارهاي ديجيتالي در سطح بالا بر پايه روش چك كردن خاصيت (Property Checking)
/ بيژن عليزاده
صحه گذاري قانونمند (Formal Verification) مدارهاي ديجيتالي در سطح بالا بر پايه روش چك كردن خاصيت (Property Checking)
المؤلف
/ بيژن عليزادهطبع 1
قائمة
شناسنامه
المدخل الرئيسي
عليزاده، بيژن، نویسندهالعنوان واسم المؤلف
صحه گذاري قانونمند (Formal Verification) مدارهاي ديجيتالي در سطح بالا بر پايه روش چك كردن خاصيت (Property Checking) / / بيژن عليزادهالمواصفات الشكلية
[14]،177،[59]ص.؛ : تصوير، نمودار.الموضوع
نمودارهاGraphs
شبيه سازي
Simulation
معادله هاي خطي
Linear equaitions
معادله هاي خطي
Linear equaitions
مدار رقمي
Digital circuit
نمودار گسترش تيلور
Taylor Expansion Diagram (TED)
چند جملهايها
Polynomials
تصديق رسمي
Formal verification
اللغة
فارسی