Advertisement

© 2016

Fault-Tolerant Digital Microfluidic Biochips

Compilation and Synthesis

Book

Table of contents

  1. Front Matter
    Pages i-xii
  2. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
    Pages 1-10
  3. Preliminaries

    1. Front Matter
      Pages 11-11
    2. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 13-28
    3. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 29-50
    4. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 51-66
  4. Compilation

    1. Front Matter
      Pages 67-67
    2. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 69-76
    3. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 77-90
    4. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 91-103
    5. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 105-114
    6. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 115-133
  5. Compilation for Error Recovery and Uncertainty

    1. Front Matter
      Pages 135-135
    2. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 137-143
    3. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 145-174
    4. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 175-193
  6. Architecture Synthesis

    1. Front Matter
      Pages 195-195
    2. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 197-207
    3. Paul Pop, Mirela Alistar, Elena Stuart, Jan Madsen
      Pages 209-234

About this book

Introduction

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.

 

Keywords

Biochip Architecture Biochip Compilation and Synthesis Biochips Digital Microfluidic Biochips Fault-tolerant Biochips

Authors and affiliations

  1. 1.Department of Applied Mathematics and Computer ScienceTechnical University of DenmarkKongens LyngbyDenmark
  2. 2.Department of Applied Mathematics and Computer ScienceTechnical University of DenmarkKongens LyngbyDenmark
  3. 3.Netcompany A/SCopenhagenDenmark
  4. 4.Department of Applied Mathematics and Computer ScienceTechnical University of DenmarkKongens LyngbyDenmark

About the authors

Paul Pop is has joined DTU Compute as an associate professor in May 2006. Previously, he was an assistant professor at Linköping University, Sweden, where he has received his Ph.D. in Computer Systems in 2003. Paul’s research is about methods for systems engineering: modeling, analysis, simulation and optimization. Systems engineering is the treatment of engineering design as a decision making-process. He has applied systems engineering methods in the design of embedded systems, which are special-purpose computer systems dedicated to perform a specific function.

Bibliographic information