تأیید سخت افزار مقیاس پذیر با شبیه سازی نمادین
Scalable Hardware Verification with Symbolic Simulation
نویسنده: Valeria Bertacco (auth.)
ناشر: Springer US
سال انتشار: 2006
تعداد صفحات: 192
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت