تأیید با مدل سازی خطا: استفاده از تکنیک های آزمایش در تأیید سخت افزار
Verification by error modeling : using testing techniques in hardware verification
نویسنده: Katarzyna Radecka; Zeljko Zilic
ناشر: Kluwer Academic Publishers
سال انتشار: 2003
تعداد صفحات: 224
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 14 مگابایت