chapter 1 Introduction -- chapter 2 Defect-Tolerant and Routing-Aware Synthesis -- chapter 3 Pin-Constrained Chip Design -- chapter 4 Testing and Diagnosis -- chapter 5 Design-for-Testability for Digital Microfluidic Biochips -- chapter 6 Application to Protein Crystallization -- chapter 7 Conclusions and Future Work.