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

Author

Edition 1

list

شناسنامه

Main Entry

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

Title and Author

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

Physical Description

14 ص..

Subject

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

Language

فارسی

Cataloger

کانورتور

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