Asynchronous Digital Circuit Design

از آنجایی که مدیریت هزینه‌های برق و زمان‌بندی در سیستم‌های سنکرون سنتی به طور فزاینده‌ای دشوار می‌شود، طراحان مجبور هستند به گزینه‌های ناهمزمان نگاه کنند. این جلد بر اساس مقالات بازسازی شده و توسعه یافته از کارگاه VII Banff Higher Order، به بررسی روش های ناهمزمان می پردازد که در طراحی مدارهای بزرگ مورد استفاده قرار گرفته اند، از مشخصات رسمی اولیه تا مدل های کنترل مبتنی بر ماشین حالت محدود استانداردتر. این مقالات که توسط متخصصان برجسته در این منطقه نوشته شده است، بسیاری از جنبه های عملکرد فعلی از جمله طراحی عملی، گردآوری سیلیکون و کاربردهای مشخصات رسمی را پوشش می دهد. این همچنین شامل یک بررسی پیشرفته از طراحی سخت افزار ناهمزمان است. حجم به دست آمده برای هر کسی که علاقه مند به طراحی مدارهای ناهمزمان صحیح است که عملکرد بالا یا عملکرد کم توان را نشان می دهد بسیار ارزشمند خواهد بود.

As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and applications of formal specification. It also includes a state-of-the-art survey of asynchronous hardware design. The resulting volume will be invaluable to anyone interested in designing correct asynchronous circuits which exhibit high performance or low power operation.