ایجاد بررسیکنندههای ادعای سختافزار: برای تأیید سختافزار، شبیهسازی، اشکالزدایی پس از ساخت و نظارت بر خط
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
نویسنده: Dr. Marc Boulé, Professor Zeljko Zilic (auth.)
ناشر: Springer Netherlands
سال انتشار: 2008
تعداد صفحات: 288
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت