دانلود کتاب Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications – سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان

توضیحات

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Sandeep K. Shukla This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification problems related to CAOS-based synthesis, necessary background concepts, techniques to generate hardware according to the designs power requirements, and detailed experimental results obtained by applying the techniques introduced on realistic hardware designs. Presents detailed analysis of various power optimization problems associated with high-level synthesis, as well as novel techniques for reducing power consumption of hardware designs at a higher level of abstraction; Discusses various formal verification issues associated with synthesizing different possible versions of a hardware design (differing in their latency, area, and/or power consumption); Includes detailed experimental results obtained by applying the techniques introduced on benchmark hardware designs.

————————————————————–

ترجمه ماشینی :

سنتز سخت‌افزار کم‌مصرف از مشخصات کنش‌گرای همزمان Gaurav Singh Sandeep K. Shukla. . همچنین تکنیک‌های جدیدی را برای تأیید رسمی چنین طرح‌هایی توضیح می‌دهد. تعاریفی از مسائل مختلف بهینه‌سازی توان و تأیید رسمی مربوط به سنتز مبتنی بر CAOS، مفاهیم پس‌زمینه لازم، تکنیک‌های تولید سخت‌افزار با توجه به نیاز طرح‌ها، و نتایج تجربی دقیق به‌دست‌آمده با استفاده از تکنیک‌های معرفی‌شده بر روی سخت‌افزار واقعی را در اختیار خوانندگان قرار می‌دهد. طرح ها. تجزیه و تحلیل دقیق از مسائل مختلف بهینه سازی توان مرتبط با سنتز سطح بالا و همچنین تکنیک های جدید برای کاهش مصرف انرژی طراحی های سخت افزاری در سطح بالاتری از انتزاع را ارائه می دهد. موضوعات مختلف تأیید رسمی مرتبط با سنتز نسخه‌های مختلف ممکن از یک طراحی سخت‌افزار (که در تأخیر، مساحت و/یا مصرف انرژی متفاوت است) را مورد بحث قرار می‌دهد. شامل نتایج تجربی دقیق به‌دست‌آمده با استفاده از تکنیک‌های معرفی‌شده در طراحی‌های سخت‌افزار معیار است.

tag : دانلود کتاب سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان , Download سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان , دانلود سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان , Download Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Book , سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان دانلود , buy سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان , خرید کتاب سنتز سخت افزار کم توان از مشخصات عمل گرا همزمان , دانلود کتاب Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications , کتاب Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications , دانلود Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications , خرید Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications , خرید کتاب Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications ,