تأیید رسمی: یک جعبه ابزار ضروری برای طراحی مدرن VLSI
Formal Verification: An Essential Toolkit for Modern VLSI Design
نویسنده: Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
ناشر: Morgan Kaufmann
سال انتشار: 2023
تعداد صفحات: 428
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت