Hardware/Software Co-Design and Co-Verification

Co-Design مجموعه ای از تکنیک های نوظهور است که امکان طراحی همزمان سخت افزار و نرم افزار را فراهم می کند. در بسیاری از مواردی که برنامه از نظر عملکردهای مختلف (زمان، سطح، مصرف انرژی) بسیار سخت‌گیرانه است، تصمیم‌گیری بین سخت‌افزار اختصاصی و نرم‌افزار اختصاصی در مراحل اولیه طراحی دشوارتر می‌شود. تکنیک‌های تأیید - مانند تکنیک‌های شبیه‌سازی یا اثبات - که در طراحی سخت‌افزار ضروری هستند، باید به طور چشمگیری با تأیید همزمان نرم‌افزار و سخت‌افزار سازگار شوند.
با توصیف جدیدترین ابزارهای موجود برای طراحی مشترک و تأیید مشترک سیستم‌ها، طراحی مشترک سخت‌افزار/نرم‌افزار وتأیید مشترک یک نگاه کامل به این مجموعه در حال تکامل از رویه ها برای محیط های CAD. این کتاب تمام مبادلاتی را که باید هنگام طراحی مشترک یک سیستم انجام شود، در نظر می گیرد. چندین مدل برای تعیین راه حل بهینه برای هر مشکل طراحی مشترک، از جمله پارتیشن بندی، سنتز معماری و تولید کد ارائه شده است.
هنگام تصمیم گیری در مورد مبادلات، یکی از عوامل اصلی که باید در نظر گرفته شود، جریان ارتباطات است، به ویژه به و از دنیای خارج. این شامل مدل سازی پروتکل های ارتباطی است. رویکردی به سنتز مدارهای رابط در زمینه طراحی مشترک ارائه شده است.
فصل‌های دیگر یک پایگاه داده و روش‌های بازیابی اجزای انعطاف‌پذیر مبتنی بر طراحی مشترک را ارائه می‌کنند. مطالعه موردی یک پل اترنت، طراحی شده با استفاده از روش های LOTOS و طراحی مشترک و در نهایت یک رابط کاربری قابل برنامه ریزی مبتنی بر مانیتور.
طراحی و تأیید مشترک سخت‌افزار/نرم‌افزار به طراحان و محققین کمک می‌کند تا این آخرین تکنیک‌ها را در طراحی سیستم درک کنند و به این ترتیب برای همه افراد درگیر در طراحی سیستم جاسازی شده جالب خواهد بود.< /p>

Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. In many cases where the application is very demanding in terms of various performances (time, surface, power consumption), trade-offs between dedicated hardware and dedicated software are becoming increasingly difficult to decide upon in the early stages of a design. Verification techniques - such as simulation or proof techniques - that have proven necessary in the hardware design must be dramatically adapted to the simultaneous verification of Software and Hardware.
Describing the latest tools available for both Co-Design and Co-Verification of systems, Hardware/Software Co-Design andCo-Verification offers a complete look at this evolving set of procedures for CAD environments. The book considers all trade-offs that have to be made when co-designing a system. Several models are presented for determining the optimum solution to any co-design problem, including partitioning, architecture synthesis and code generation.
When deciding on trade-offs, one of the main factors to be considered is the flow of communication, especially to and from the outside world. This involves the modeling of communication protocols. An approach to the synthesis of interface circuits in the context of co-design is presented.
Other chapters present a co-design oriented flexible component data-base and retrieval methods; a case study of an ethernet bridge, designed using LOTOS and co-design methodologies and finally a programmable user interface based on monitors.
Hardware/Software Co-Design and Co-Verification will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.