This book demonstrates the use of computer-aided design (CAD) tools to automate and optimize the design and synthesis of digital microfluidicbiochips (DMFBs) in fluidic and chip/hardware domains. It describes several associative combinatorial and geometric optimization problems; considers new constraints in low-cost, large-scale biochip design; and includes real-life bioassays as evaluation examples (e.g., DNA sample preparation, multiplexed in-vitro human physiological fluids diagnostics, PCR, and protein crystallization). The CAD techniques presented address real manufacturing issues and can be applied directly to industrial product development.