Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

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

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 design’s 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.