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.