Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips: Design Automation, Testing, and Design-for-Testability
暫譯: 微流體超大規模集成 (mVLSI) 生物晶片的電腦輔助設計：設計自動化、測試與可測試性設計

This book provides a comprehensive overview of flow-based, microfluidic VLSI. The authors describe and solve in a comprehensive and holistic manner practical challenges such as control synthesis, wash optimization, design for testability, and diagnosis of modern flow-based microfluidic biochips. They introduce practical solutions, based on rigorous optimization and formal models. The technical contributions presented in this book will not only shorten the product development cycle, but also accelerate the adoption and further development of modern flow-based microfluidic biochips, by facilitating the full exploitation of design complexities that are possible with current fabrication techniques.