منطق جداسازی برای سنتز سطح بالا
Separation Logic for High-level Synthesis
نویسنده: Felix Winterstein (auth.)
ناشر: Springer International Publishing
سال انتشار: 2017
تعداد صفحات: 143
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت