تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی
Hardware Design Verification: Simulation and Formal Method-Based Approaches
نویسنده: William K. Lam
ناشر: Prentice Hall
سال انتشار: 2008
تعداد صفحات: 0
زبان: English
فرمت: chm - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت