صحه گذاري قانونمند (Formal Verification) مدارهاي ديجيتالي در سطح بالا بر پايه روش چك كردن خاصيت (Property Checking)
/ بيژن عليزاده
صحه گذاري قانونمند (Formal Verification) مدارهاي ديجيتالي در سطح بالا بر پايه روش چك كردن خاصيت (Property Checking)
Author
/ بيژن عليزادهEdition 1
list
شناسنامه
Main Entry
عليزاده، بيژن، نویسندهTitle and Author
صحه گذاري قانونمند (Formal Verification) مدارهاي ديجيتالي در سطح بالا بر پايه روش چك كردن خاصيت (Property Checking) / / بيژن عليزادهPhysical Description
[14]،177،[59]ص.؛ : تصوير، نمودار.Subject
نمودارهاGraphs
شبيه سازي
Simulation
معادله هاي خطي
Linear equaitions
معادله هاي خطي
Linear equaitions
مدار رقمي
Digital circuit
نمودار گسترش تيلور
Taylor Expansion Diagram (TED)
چند جملهايها
Polynomials
تصديق رسمي
Formal verification
Language
فارسی