Springer Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips: Design Automation, Testing, and Design-for-Testability

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. From the Back Cover 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. Offers the first practical problem formulation for automated control-layer design in flow-based microfluidic biochips and provides a systematic approach for solving this problem; Introduces a wash-optimization method for cross-contamination removal; Presents a design-for-testability (DfT) technique that can achieve 100% fault coverage at the logic level, i.e., complete defect coverage for all valves and microchannels; Includes a method for fault diagnosis in flow-based microfluidic biochips, which detects leakage and blockage defects in both control and flow layers. About the Author Kai Hu received his B. Sci. degree from Fudan University, Shanghai, China, in 2009, and the M.S. and Ph.D. degree from Duke University, NC, USA, in 2011 and 2015, respectively. He was the recipient of the VLSI Test Symposium (VTS) Best Paper Award in 2013, IEEE Transactions on Computer-Aided Design Donald O. Pederson Best Paper Award in 2015, and European Design and Automation Association (EDAA) Outstanding Dissertation Award in 2016. He is currently a Senior Engineer with Oracle. Inc., Santa Clara, CA, USA. His current research interests include algorithms for computer-aided design and testing of flow-based microfluidic biochips. Krishnendu Chakrabarty is the William H. Younger Distinguished Professor of Engineering in the Department of Electrical and Computer Engineering, at Duke University in Durham, NC.  He has been at Duke University since 1998. His current research is focused on: testing and design-for-testability of integrated circuits (especially 3D and multicore chips); digital microfluidics, biochips, and cyberphysical systems; optimization of digital print and production system infrastructure. His research projects in the recent past have also included chip cooling using digital microfluidics, wireless sensor networks, and real-time embedded systems. Research support is provided by the National Science Foundation, the Semiconductor Research Corporation, Cisco Systems, HP Labs, Huawei Technologies, and Intel Corporation through Intel Lab's Academic Research Office. Other sponsors in the past have included National Institutes of Health , DARPA and the Office of Naval Research. Prof. Chakrabarty received the B. Tech. degree from the Indian Institute of Technology, Kharagpur, India in 1990, and the M.S.E. and Ph.D. degrees from the University of Michigan, Ann Arbor in 1992 and 1995, respectively, all in Computer Science and Engineering . During 1990-95, he was a research assistant at the