Design Methodology for Flow-Based Microfluidic Biochips

This chapter presents an overview of the mVLSI biochips design and programming methodologies, highlighting the main tasks that have to be performed. The purpose is to explain how the methods presented in this book are used within a methodology and to define and illustrate the main tasks. We highlight the difference between “physical design and testing,” which is concerned with designing a biochip, and “programming and control,” which considers that the biochip is given, and addresses the mapping of a biochemical application on the given architecture. Programming and control is covered by Part II, whereas physical design and testing are covered in Part III. This chapter also presents the related work for the design tasks introduced.

[1]  Elliot E. Hui,et al.  MICROFLUIDIC FINITE STATE MACHINE FOR AUTONOMOUS CONTROL OF INTEGRATED FLUID NETWORKS , 2011 .

[2]  Krishnendu Chakrabarty,et al.  Continuous-Flow Biochips: Technology, Physical-Design Methods, and Testing , 2015, IEEE Design & Test.

[3]  T. N. Vijaykumar,et al.  Software-programmable continuous-flow multi-purpose lab-on-a-chip , 2013, Microfluidics and Nanofluidics.

[4]  Paul Pop.  Flow-Based Biochips: Fault-Tolerant Design and Error Recovery , 2015, EMBC 2015.

[5]  Marc Madou,et al.  Numerical modeling and experimental validation of uniform microchamber filling in centrifugal microfluidics. , 2010, Lab on a chip.

[6]  Tsung-Yi Ho,et al.  A top-down synthesis methodology for flow-based microfluidic biochips considering valve-switching minimization , 2013, ISPD '13.

[7]  Paul Pop,et al.  Pin count-aware biochemical application compilation for mVLSI biochips , 2015, 2015 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP).

[8]  Philip Brisk,et al.  Recent developments in microfluidic large scale integration. , 2014, Current opinion in biotechnology.

[9]  Philip Brisk,et al.  Design and verification tools for continuous fluid flow-based microfluidic devices , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[10]  T. N. Vijaykumar,et al.  Automatic volume management for programmable microfluidics , 2008, PLDI '08.

[11]  Paul Pop,et al.  Recent research and emerging challenges in the System-Level Design of digital microfluidic biochips , 2011, 2011 IEEE International SOC Conference.

[12]  Michael Raagaard.  Placement Algorithm for Flow-Based Microfluidic Biochips , 2014 .

[13]  Kai Hu,et al.  Testing of Flow-Based Microfluidic Biochips: Fault Modeling, Test Generation, and Experimental Demonstration , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Krishnendu Chakrabarty,et al.  Microfluidic very large-scale integration for biochips: Technology, testing and fault-tolerant design , 2015, 2015 20th IEEE European Test Symposium (ETS).

[15]  R. Zengerle,et al.  Microfluidic lab-on-a-chip platforms: requirements, characteristics and applications. , 2010, Chemical Society reviews.

[16]  Krishnendu Chakrabarty,et al.  Digital Microfluidic Biochips - Design Automation and Optimization , 2010 .

[17]  Paul Pop,et al.  Architectural synthesis of flow-based microfluidic large-scale integration biochips , 2012, CASES '12.

[18]  Paul Pop,et al.  Architecture synthesis for cost-constrained fault-tolerant flow-based biochips , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[19]  Kai Hu,et al.  Wash optimization for cross-contamination removal in flow-based microfluidic biochips , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[20]  Kasper Grue Understrup,et al.  Programming and Control of Flow-based Microfluidic biochips , 2014 .

[21]  R. J. Mack,et al.  VLSI physical design automation: theory and practice , 1996 .

[22]  Kai Hu,et al.  Control-layer optimization for flow-based mVLSI microfluidic biochips , 2014, 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

[23]  D. T. Lee,et al.  An efficient bi-criteria flow channel routing algorithm for flow-based microfluidic biochips , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[24]  Tsung-Yi Ho,et al.  A clique-based approach to find binding and scheduling result in flow-based microfluidic biochips , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[25]  Wilfried Mokwa,et al.  Numerical analysis and characterization of bionic valves for microfluidic PDMS-based systems , 2007 .

[26]  Jong Wook Hong,et al.  Integrated nanoliter systems , 2003, Nature Biotechnology.

[27]  Saman P. Amarasinghe,et al.  Programmable Microfluidics , 2004 .

[28]  Paul Pop,et al.  System-level modeling and synthesis of flow-based microfluidic biochips , 2011, 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).

[29]  Philip Brisk,et al.  A high-performance online assay interpreter for digital microfluidic biochips , 2012, GLSVLSI '12.

[30]  Tsung-Yi Ho,et al.  Control synthesis for the flow-based microfluidic large-scale integration biochips , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[31]  Nada Amin,et al.  Computer-aided design for microfluidic chips based on multilayer soft lithography , 2009, 2009 IEEE International Conference on Computer Design.

[32]  Wei Duan,et al.  Lab-on-a-chip: a component view , 2010 .

[33]  William Thies,et al.  Abstraction layers for scalable microfluidic biocomputing , 2008, Natural Computing.

[34]  J. Madsen,et al.  Synthesis of biochemical applications on flow-based microfluidic biochips using constraint programming , 2012, 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS.

[35]  Philip Brisk,et al.  Simulated annealing-based placement for microfluidic large scale integration (mLSI) chips , 2014, 2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).

[36]  Philip N Duncan,et al.  Pneumatic oscillator circuits for timing and control of integrated microfluidics , 2013, Proceedings of the National Academy of Sciences.

[37]  William H. Grover,et al.  Development and multiplexed control of latching pneumatic valves using microfluidic logical structures. , 2006, Lab on a chip.

[38]  Jessica Melin,et al.  Microfluidic large-scale integration: the evolution of design rules for biological automation. , 2007, Annual review of biophysics and biomolecular structure.