Focuses on the automated design of microfluidic-based biochips for large-scale bioassays and safety-critical applications. This book presents a system-level design automation framework that addresses key issues in the design, analysis, and testing of digital microfluidic biochips.