توسعه ابزار Verification در طراحی سخت افزار

المؤلف

طبع 1

قائمة

شناسنامه

المدخل الرئيسي

نوابی شیرازی، زین العابدین، نویسنده

العنوان واسم المؤلف

توسعه ابزار Verification در طراحی سخت افزار / / مجری: زین العابدین نوابی شیرازی

المواصفات الشكلية

14 ص..

الموضوع

نمودار تصميم دوگاني
Binary decision diagram
تصديق رسمي
Formal verification

اللغة

فارسی

الفهرس

کانورتور

ملاحظات

عنوان دیگر: Using integer equations for high level formal verification property checking.