تأیید رسمی: یک جعبه ابزار ضروری برای طراحی مدرن VLSI
Formal verification : an essential toolkit for modern VLSI design
نویسنده: Kumar, M. V. Achutha Kiran; Schubert, Tom; Seligman, Erik
ناشر: Elsevier Science, Morgan Kaufmann
سال انتشار: 2015
تعداد صفحات: 355
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 11 مگابایت