Asynchronous Circuit Design for VLSI Signal Processing

طراحی مدار ناهمزمان برای پردازش سیگنال VLSI مجموعه‌ای از مقالات تحقیقاتی در مورد پیشرفت‌های اخیر در زمینه مشخصات، طراحی و تحلیل مدارها و سیستم‌های ناهمزمان است. این علاقه به طراحی سیستم‌های محاسباتی دیجیتال بدون ساعت جهانی ناشی از دشواری روزافزون در اتخاذ همگام‌سازی جهانی به عنوان تنها وسیله کارآمد برای زمان‌بندی سیستم است.
مدارها و سیستم‌های ناهمزمان به دلیل چالش‌های ذاتی در طراحی این مدارها و همچنین توسعه تکنیک‌های طراحی برای آنها مدت‌هاست که مورد توجه طراحان و محققان مدار قرار گرفته‌اند. تحقیقات مرزی در این زمینه را می‌توان به انتشارات هافمن "سنتز مدارهای سوئیچینگ متوالی" در سال 1954 و به دنبال آن کتاب "مدارهای سوئیچینگ متوالی ناهمزمان" در سال 1969، جایی که یک پایه نظری برای مدیریت مخاطرات منطقی ایجاد شد، ردیابی کرد. در چند سال اخیر، تعداد فزاینده‌ای از محققین در پرده‌برداری از رمز و راز طراحی مدارهای ناهمزمان صحیح به نیرو ملحق شده‌اند و بهتر از آن، چندین جایگزین در سنتز خودکار و تأیید چنین مدارهایی تولید کرده‌اند.
این مجموعه مقالات پژوهشی نمایانگر دیدگاهی متعادل از تلاش‌های پژوهشی جاری در طراحی، سنتز و تأیید سیستم‌های ناهمزمان است.

Asynchronous Circuit Design for VLSI Signal Processing is a collection of research papers on recent advances in the area of specification, design and analysis of asynchronous circuits and systems. This interest in designing digital computing systems without a global clock is prompted by the ever growing difficulty in adopting global synchronization as the only efficient means to system timing.
Asynchronous circuits and systems have long held interest for circuit designers and researchers alike because of the inherent challenge involved in designing these circuits, as well as developing design techniques for them. The frontier research in this area can be traced back to Huffman's publications `The Synthesis of Sequential Switching Circuits' in 1954 followed by Unger's book, `Asynchronous Sequential Switching Circuits' in 1969 where a theoretical foundation for handling logic hazards was established. In the last few years a growing number of researchers have joined force in unveiling the mystery of designing correct asynchronous circuits, and better yet, have produced several alternatives in automatic synthesis and verification of such circuits.
This collection of research papers represents a balanced view of current research efforts in the design, synthesis and verification of asynchronous systems.