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

نویسنده

نسخه 1

فهرست

شناسنامه

سرشناسه

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

عنوان و نام پدیدآور

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

مشخصات ظاهری

14 ص..

موضوع

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

زبان

فارسی

فهرست نویس

کانورتور

یادداشت

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