Fault-Tolerant Digital Microfluidic Biochips: Compilation and Synthesis

این کتاب برای محققان در زمینه‌های فناوری کامپایلر، طراحی و آزمایش، و اتوماسیون طراحی الکترونیکی، حوزه جدید بیوتراشه‌های میکروسیال دیجیتال (DMBs) را توصیف می‌کند و بنابراین یک حوزه کاربردی جدید برای روش‌های آنها ارائه می‌دهد. نویسندگان یک مدل اجرای عملیات مبتنی بر مسیریابی را همراه با چندین رویکرد تلفیقی مرتبط ارائه می‌کنند که به تدریج این فرض را که عملیات در داخل ماژول‌های مستطیلی ثابت اجرا می‌شود، راحت می‌کند. از آنجایی که عملیات می‌تواند در طول اجرای یک سنجش زیستی خطاهای گذرا را تجربه کند، نویسندگان نحوه استفاده از استراتژی‌های بازیابی آفلاین (زمان طراحی) و آنلاین (زمان اجرا) را نشان می‌دهند. این کتاب همچنین روش‌هایی را برای سنتز معماری‌های DMB ویژه برنامه‌های مقاوم به خطا ارائه می‌دهد.

· مدل‌های فعلی مورد استفاده برای تحقیق در مورد تکنیک‌های کامپایل و سنتز DMB‌ها را ارائه می‌کند. مد آموزشی;

· شامل مجموعه‌ای از «معیارها» است که با جزئیات زیاد ارائه می‌شوند و شامل کد منبع اکثر تکنیک‌های ارائه‌شده، از جمله راه‌حل‌هایی برای مشکلات اولیه کامپایل و ترکیب است؛

· چندین مسئله تحقیقاتی جدید را با استفاده از مثال های متعدد به تفصیل مورد بحث قرار می دهد.

This book describes for researchers in the fields of compiler technology, design and test, and electronic design automation the new area of digital microfluidic biochips (DMBs), and thus offers a new application area for their methods. The authors present a routing-based model of operation execution, along with several associated compilation approaches, which progressively relax the assumption that operations execute inside fixed rectangular modules. Since operations can experience transient faults during the execution of a bioassay, the authors show how to use both offline (design time) and online (runtime) recovery strategies. The book also presents methods for the synthesis of fault-tolerant application-specific DMB architectures.

· Presents the current models used for the research on compilation and synthesis techniques of DMBs in a tutorial fashion;

· Includes a set of “benchmarks”, which are presented in great detail and includes the source code of most of the techniques presented, including solutions to the basic compilation and synthesis problems;

· Discusses several new research problems in detail, using numerous examples.