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. The...

Full description

Saved in:
Bibliographic Details
Main Authors: Hu, Kai, (Author), Chakrabarty, Krishnendu, (Author), Ho, Tsung-Yi, (Author)
Format: eBook
Language: English
Published: Cham, Switzerland : Springer, 2017.
Subjects:
Biochips > Computer-aided design.
Integrated circuits > Very large scale integration > Computer-aided design.
elektronické knihy
electronic books
ISBN: 9783319562551
9783319562544
Physical Description: 1 online resource (xiii, 142 pages) : illustrations (some color)

Cover

Table of contents

LEADER 06787cam a2200481Ii 4500
001 99985
003 CZ-ZlUTB
005 20240914112426.0
006 m o d
007 cr cnu|||unuuu
008 170407s2017 sz a ob 001 0 eng d
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d EBLCP  |d GW5XE  |d N$T  |d YDX  |d UAB  |d OCLCO  |d ESU  |d AZU  |d UPM  |d OCLCO  |d IOG  |d OCLCO  |d I3U  |d OCLCO  |d VT2  |d OTZ  |d OCLCQ  |d OCLCO  |d OCLCA  |d U3W  |d OCLCO  |d CAUOI  |d OCLCF  |d OCLCO  |d KSU  |d OCLCO  |d WYU  |d OCLCO  |d OCLCA  |d UKMGB  |d OCLCO  |d UKAHL  |d OCLCQ  |d OCLCO  |d ERF  |d UKBTH  |d LEATE  |d OCLCQ  |d OCLCA  |d OCLCQ 
020 |a 9783319562551  |q (electronic bk.) 
020 |z 9783319562544  |q (print) 
024 7 |a 10.1007/978-3-319-56255-1  |2 doi 
035 |a (OCoLC)981912197  |z (OCoLC)982105403  |z (OCoLC)982141484  |z (OCoLC)982241951  |z (OCoLC)982344069  |z (OCoLC)982427123  |z (OCoLC)982500564  |z (OCoLC)988383876  |z (OCoLC)999413909  |z (OCoLC)1005825607  |z (OCoLC)1011953811  |z (OCoLC)1048176178  |z (OCoLC)1066473560  |z (OCoLC)1086442049  |z (OCoLC)1112589540  |z (OCoLC)1112869402  |z (OCoLC)1113114026  |z (OCoLC)1117123062  |z (OCoLC)1122817469 
100 1 |a Hu, Kai,  |e author. 
245 1 0 |a Computer-aided design of microfluidic very large scale integration (mVLSI) biochips :  |b design automation, testing, and design-for-testability /  |c Kai Hu, Krishnendu Chakrabarty, Tsung-Yi Ho. 
264 1 |a Cham, Switzerland :  |b Springer,  |c 2017. 
300 |a 1 online resource (xiii, 142 pages) :  |b illustrations (some color) 
336 |a text  |b txt  |2 rdacontent 
337 |a počítač  |b c  |2 rdamedia 
338 |a online zdroj  |b cr  |2 rdacarrier 
505 0 |a Preface; Acknowledgements; Contents; 1 Introduction; 1.1 Introduction of Microfluidic Biochip Platforms; 1.2 Overview of Flow-Based Microfluidic Biochips; 1.2.1 Structure and Fabrication; 1.2.2 Components; 1.2.3 Applications; 1.3 Challenges and Motivation; 1.3.1 Design Automation; 1.3.2 Contamination Removal; 1.3.3 Defects and Erroneous Operations; 1.4 Outline of the Book; References; 2 Control-Layer Optimization; 2.1 Motivation and Related Prior Work; 2.2 Problem Description, Design Requirements, and Challenges; 2.2.1 Pressure-Propagation Delay; 2.2.2 Requirements in Control-Layer Design. 
505 8 |a 2.2.3 Valve Addressing2.2.4 Routing of Control Channels; 2.2.5 Placement of Control Pins; 2.2.6 Relationship Between Control-Layer Optimization and Clock-Tree Design in VLSI Circuits; 2.3 Problem Formulation; 2.4 Algorithm Design; 2.4.1 Routing Algorithm 1; 2.4.2 Routing Algorithm 2; 2.5 Experimental Results; 2.5.1 Experiments with Two Fabricated Biochips; 2.5.2 Experiments with Synthetic Benchmarks; 2.6 Conclusions; References; 3 Wash Optimization for Cross-Contamination Removal; 3.1 Motivation and Challenges; 3.2 Problem Description and Formulation. 
505 8 |a 3.2.1 Physical Implementability of a Wash Path3.2.2 Execution Time for a Wash Path; 3.3 Search for a Set of Washing Paths; 3.3.1 Generation of the Path Dictionary; 3.3.2 Storage of the Path Dictionary; 3.3.3 Identification of Washing-Path Set; 3.3.4 Washing of Multiple Contaminant Species; 3.3.5 Complexity Analysis; 3.4 Results: Application to Fabricated Biochips; 3.4.1 Results for ChIP; 3.4.2 A Programmable Microfluidic Device with an 8-by-8 Grid; 3.5 Conclusions; References; 4 Fault Modeling, Testing, and Design for Testability; 4.1 Motivation and Challenges. 
505 8 |a 4.2 Defects and Fault Modeling4.3 Testing Strategy; 4.4 Applications to Fabricated Biochip; 4.4.1 Logic Circuit Model; 4.4.2 Test-Pattern Generation and Results; 4.5 Automated Generation of Logic-Circuit Model; 4.5.1 Physical Representation of Boolean Gates in Netlists; 4.5.2 Hierarchical Modeling; 4.5.3 Fault Analysis Based on ATPG Results; 4.6 Other Practical Concerns; 4.6.1 Test Cost; 4.6.2 Dynamic Faults; 4.6.3 Multiple Faults; 4.7 Experimental Demonstration; 4.7.1 Experimental Feasibility Demonstration; 4.7.2 Pattern Set-up Time, Measurement Time and Refresh Time. 
505 8 |a 4.7.3 Experimental Demonstration I: Cell Culture Chip4.7.4 Experimental Demonstration II: WGA Chip; 4.8 Untestable Faults and Design-For-Testability; 4.8.1 Causes of Untestable Faults; 4.8.2 DfT for Flow-Based Microfluidic Biochips; 4.8.3 Demonstration of Proposed DfT Approach; 4.9 Conclusion; References; 5 Techniques for Fault Diagnosis; 5.1 Motivation and Challenges; 5.2 Problem Description; 5.2.1 Single-Defect-Type Assumption; 5.2.2 Syndrome Analysis; 5.2.3 Formulation as a Hitting-Set Problem; 5.3 Algorithm Design; 5.3.1 Complexity Analysis; 5.4 Results: Application to Fabricated Biochips. 
504 |a Includes bibliographical references and index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
520 |a 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. 
590 |a SpringerLink  |b Springer Complete eBooks 
650 0 |a Biochips  |x Computer-aided design. 
650 0 |a Integrated circuits  |x Very large scale integration  |x Computer-aided design. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Chakrabarty, Krishnendu,  |e author. 
700 1 |a Ho, Tsung-Yi,  |e author. 
776 0 8 |i Print version:  |a Hu, Kai.  |t Computer-aided design of microfluidic very large scale integration (mVLSI) biochips.  |d Cham, Switzerland : Springer, 2017  |z 9783319562544  |z 3319562541  |w (OCoLC)975368442 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://link.springer.com/10.1007/978-3-319-56255-1  |y Plný text 
992 |c NTK-SpringerENG 
999 |c 99985  |d 99985 
993 |x NEPOSILAT  |y EIZ 

Similar Items