تأیید رسمی ضرایب ساختاری پیچیده
Formal Verification of Structurally Complex Multipliers
نویسنده: Alireza Mahzoon, Daniel Große, Rolf Drechsler
ناشر: Springer
سال انتشار: 2023
تعداد صفحات: 134
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت