صحه گذاري قانونمند (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
زبان
فارسی