Browsing by Author "Chakrabarty, Krishnendu"
Now showing 1 - 17 of 17
- Results Per Page
- Sort Options
Item type:Item, An Online Thermal-Constrained Task Scheduler for 3D Multi-Core Processors(2015) ;Liao, Chien-Hui ;Wen, Charles H. -P. ;Chakrabarty, Krishnendu ;資訊工程學系電信工程研究所Hotspots occur frequently in 3D multi-core processors (3D-MCPs) and they can adversely impact system reliability and lifetime. Moreover, frequent occurrences of hotspots lead to more dynamic voltage and frequency scaling (DVFS), resulting in degraded throughput. Therefore, a new thermal-constrained task scheduler based on thermal-pattern-aware voltage assignment (TPAVA) is proposed in this paper. By analyzing temperature profiles of different voltage assignments, TPAVA pre-emptively assigns different operating-voltage levels to cores for reducing temperature increase in 3D-MCPs. Moreover, the proposed task scheduler integrates a vertical-grouping voltage scaling (VGVS) strategy that considers thermal correlation in 3D-MCPs. Experimental results show that, compared with two previous methods, the proposed task scheduler can respectively lower hotspot occurrences by 47.13% and 53.91%, and improve throughput by 6.50% and 32.06%. As a result, TPAVA and VGVS are effectively for reducing occurrences of hotspots and optimizing throughput for 3D-MCPs under thermal constraints.Item type:Item, Built-In Self-Test for Micro-Electrode-Dot-Array Digital Microfluidic Biochips(2016) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Yu, Po-Hsien ;Chakrabarty, KrishnenduHo, Tsung-YiA digital microfluidic biochip (DMFB) is an attractive platform for immunoassays, point-of-care clinical diagnostics, DNA sequencing, and other laboratory procedures in biochemistry. However, today\'s DMFBs suffer from several limitations, including (i) the lack of integrated sensors for real-time detection, (ii) constraints on droplet size and the inability to vary droplet volume in a fine-grained manner, and (iii) the need for special fabrication processes and the associated reliability/yield concerns. To overcome the above limitations, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have been proposed recently. Droplet manipulation on MEDA biochips has also been experimentally demonstrated. In order to ensure robust fluidic operations and high confidence in the outcome of biochemical experiments, MEDA biochips must be adequately tested before they can be used for bioassay execution. We present an efficient built-in self-test (BIST) architecture for MEDA biochips. The proposed BIST architecture can effectively detect defects in a MEDA biochip, and faulty microcells can be identified. Simulation results based on HSPICE and experiments using fabricated MEDA biochips highlight the effectiveness of the proposed BIST architecture.Item type:Item, Continuous-Flow Biochips: Current Platforms and Emerging Research Challenges(2015) ;Pop, Paul ;Ho, Tsung-Yi ;Chakrabarty, Krishnendu ;Grover, William H.資訊工程學系Item type:Item, Control-Layer Optimization for Flow-Based mVLSI Microfluidic Biochips(2014-01-01) ;Hu, Kai ;Dinh, Trung Anh ;Ho, Tsung-Yi ;Chakrabarty, Krishnendu交大名義發表Recent advantages in flow-based microfluidic biochips have enabled the emergence of lab-on-a-chip devices for bimolecular recognition and point-of-care disease diagnostics. However, the adoption of flow-based biochips is hampered today by the lack of computer-aided design tools. Manual design procedures not only delay product development but they also inhibit the exploitation of the design complexity that is possible with current fabrication techniques. In this paper, we present the first practical problem formulation for automated control-layer design in flow-based microfluidic VLSI (mVLSI) biochips and propose a systematic approach for solving this problem. Our goal is to find an efficient routing solution for control-layer design with a minimum number of control pins. The pressure-propagation delay, an intrinsic physical phenomenon in mVLSI biochips, is minimized in order to reduce the response time for valves, decrease the pattern set-up time, and synchronize valve actuation. Two fabricated flow-based devices and five synthetic benchmarks are used to evaluate the proposed optimization method. Compared with manual control-layer design and a baseline approach, the proposed approach leads to fewer control pins, better timing behavior, and shorter channel length in the control layer.Item type:Item, Design and Optimization of 3D Digital Microfluidic Biochips for the Polymerase Chain Reaction(2015) ;Li, Zipeng ;Ho, Tsung-Yi ;Chakrabarty, Krishnendu ;資訊工程學系Department of Computer ScienceA digital microfluidic biochip (DMFB) is an attractive technology platform for revolutionizing immunoassays, clinical diagnostics, drug discovery, DNA sequencing, and other laboratory procedures in biochemistry. In most of these applications, real-time polymerase chain reaction (PCR) is an indispensable step for amplifying specific DNA segments. In recent years, three-dimensional (3D) DMFBs that integrate photodetectors (i.e., cyberphysical DMFBs) have been developed. They offer the benefits of smaller size, higher sensitivity and quicker time-to-results. However, current DMFB design methods target optimization in only two dimensions, hence they ignore the 3D two-layer structure of a DMFB. Moreover, these techniques ignore practical constraints related to the interference between on-chip device pairs, the performance-critical PCR thermal loop, and the physical size of devices. In this paper, we describe an optimization solution for a 3D DMFB, and present a three-stage algorithm to realize a compact 3D PCR chip layout, which includes: (i) PCR thermal-loop optimization; (ii) 3D global placement based on Strong-Push-Weak-Pull (SPWP) model; (iii) constraint-aware legalization. Simulation results for four laboratory protocols demonstrate that the proposed approach is effective for the design and optimization of a 3D chip for real-time PCR.Item type:Item, Design and Optimization of a Cyberphysical Digital-Microfluidic Biochip for the Polymerase Chain Reaction(2015-01-01) ;Luo, Yan ;Bhattacharya, Bhargab B. ;Ho, Tsung-Yi ;Chakrabarty, Krishnendu資訊工程學系The amount of DNA strands available in a biological sample is a major limitation for many genomic bioanalyses. To amplify the traces of DNA strands, polymerase chain reaction (PCR) is widely used for conducting subsequent experiments. Compared to conventional instruments and analyzers, the execution of PCR on a digital microfluidic biochip (DMFB) can achieve short time-to-results, low reagent consumption, rapid heating/cooling rates, and high integration of multiple processing modules. However, the PCR biochip design methods in the literature are oblivious to the inherent randomness and complexity of bioanalyses, and they do not consider the interference among the neighboring devices and the cost of droplet transportation. We present an integrated design solution to optimize the complete PCR procedure, including: 1) DNA amplification and termination control; 2) resource placement that satisfies proximity constraints; and 3) droplet transportation. Based on the sensor feedback data, a statistical model is developed to optimize and control the DNA amplification sequence in real-time on a cyberphysical biochip. Next, we present a geometric algorithm for avoiding device interference and for reducing droplet routing cost. A novel optical sensing system is deployed based on the physical visibility of droplets. Simulation results for three laboratory protocols demonstrate that the proposed design method results in a compact layout and produces an execution sequence for efficient control of PCR operations on a cyberphysical DMFB.Item type:Item, Droplet Size-Aware and Error-Correcting Sample Preparation Using Micro-Electrode-Dot-Array Digital Microfluidic Biochips(2017-12-01) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Chakrabarty, Krishnendu ;Ho, Tsung-YiLee, Chen-YiSample preparation in digital microfluidics refers to the generation of droplets with target concentrations for on-chip biochemical applications. In recent years, digital microfluidic biochips (DMFBs) have been adopted as a platform for sample preparation. However, there remain two major problems associated with sample preparation on a conventional DMFB. First, only a (1: 1) mixing/splitting model can be used, leading to an increase in the number of fluidic operations required for sample preparation. Second, only a limited number of sensors can be integrated on a conventional DMFB; as a result, the latency for error detection during sample preparation is significant. To overcome these drawbacks, we adopt a next generation DMFB platform, referred to as micro-electrode-dot-array (MEDA), for sample preparation. We propose the first sample-preparation method that exploits the MEDA-specific advantages of fine-grained control of droplet sizes and real-time droplet sensing. Experimental demonstration using a fabricated MEDA biochip and simulation results highlight the effectiveness of the proposed sample-preparation method.Item type:Item, Droplet Size-Aware High-Level Synthesis for Micro-Electrode-Dot-Array Digital Microfluidic Biochips(2017-06-01) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Yu, Po-Hsien ;Chakrabarty, KrishnenduHo, Tsung-YiA digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. In recent years, DMFBs based on a microelectrodedot- array (MEDA) architecture have been demonstrated. However, due to the inherent differences between today's DMFBs and MEDA, existing synthesis solutions for biochemistry mapping cannot be utilized for MEDA biochips. We present the first synthesis approach that can be used for MEDA biochips. We first present a general analytical model for droplet velocity and validate it experimentally using a fabricated MEDA biochip. We then present the proposed synthesis method targeting reservoir placement, operation scheduling, module placement, routing of droplets of various sizes, and diagonal movement of droplets in a two-dimensional array. Simulation results using benchmarks and experimental results using a fabricated MEDA biochip demonstrate the effectiveness of the proposed synthesis technique.Item type:Item, Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip(2018-03-01) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;McCrone, John ;Yu, Po-HsienChakrabarty, KrishnenduA digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. In recent years, DMFBs based on a microelectrode- dot-array (MEDA) architecture have been proposed. MEDA biochips can provide advantages of better capability of droplet manipulation and real-time sensing ability. However, errors are likely to occur due to defects, chip degradation, and the lack of precision inherent in biochemical experiments. Therefore, an efficient error-recovery strategy is essential to ensure the correctness of assays executed on MEDA biochips. By exploiting MEDA-specific advances in droplet sensing, we present a novel error-recovery technique to dynamically reconfigure the biochip using real-time data provided by on-chip sensors. Local recovery strategies based on probabilistic-timed-automata are presented for various types of errors. An online synthesis technique and a control flow are also proposed to connect local-recovery procedures with global error recovery for the complete bioassay. Moreover, an integer linear programming-based method is also proposed to select the optimal local-recovery time for each operation. Laboratory experiments using a fabricated MEDA chip are used to characterize the outcomes of key droplet operations. The PRISM model checker and three benchmarks are used for an extensive set of simulations. Our results highlight the effectiveness of the proposed error-recovery strategy.Item type:Item, Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip(2016) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Yu, Po-Hsien ;Chakrabarty, KrishnenduPajic, MiroslavA digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. However, today\'s DMFBs suffer from several limitations: (i) constraints on droplet size and the inability to vary droplet volume in a fine-grained manner; (ii) the lack of integrated sensors for real-time detection; (iii) the need for special fabrication processes and the associated reliability/yield concerns. To overcome the above problems, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have been proposed recently, and droplet manipulation on these devices has been experimentally demonstrated. Errors are likely to occur due to defects, chip degradation, and the lack of precision inherent in biochemical experiments. Therefore, an efficient error-recovery strategy is essential to ensure the correctness of assays executed on MEDA biochips. By exploiting MEDA-specific advances in droplet sensing, we present a novel error-recovery technique to dynamically reconfigure the biochip using real-time data provided by on-chip sensors. Local recovery strategies based on probabilistic-timed-automata are presented for various types of errors. A control flow is also proposed to connect local recovery procedures with global error recovery for the complete bioassay. Laboratory experiments using a fabricated MEDA chip are used to characterize the outcomes of key droplet operations. The PRISM model checker and three analytical chemistry benchmarks are used for an extensive set of simulations. Our results highlight the effectiveness of the proposed error-recovery strategy.Item type:Item, High-Level Synthesis for Micro-Electrode-Dot-Array Digital Microfluidic Biochips(2016) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Yu, Po-Hsien ;Ho, Tsung-YiChakrabarty, KrishnenduA digital microlluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. However, today\'s DMFBs suffer from several limitations: (i) constraints on droplet size and the inability to vary droplet volume in a fine-grained manner; (ii) the lack of integrated sensors for real-time detection; (iii) the need for special fabrication processes and reliability/yield concerns. To overcome the above problems, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have recently been demonstrated. However, due to the inherent differences between today\'s DMFBs and MEDA, existing synthesis solutions cannot he utilized for MEDA-based biochips. We present the first biochip synthesis approach that can be used for MEDA. The proposed synthesis method targets operation scheduling, module placement, routing of droplets of various sizes, and diagonal movement of droplets in a two-dimensional array. Simulation results using benchmarks and experimental results using a fabricated MEDA biochip demonstrate the effectiveness of the proposed co-optimization technique.Item type:Item, High-Level Synthesis for Micro-Electrode-Dot-Array Digital Microfluidic Biochips(2016) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Yu, Po-Hsien ;Ho, Tsung-YiChakrabarty, Krishnendudigital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. However, today\'s DMFBs suffer from several limitations: (i) constraints on droplet size and the inability to vary droplet volume in a fine-grained manner; (ii) the lack of integrated sensors for real-time detection; (iii) the need for special fabrication processes and reliability/yield concerns. To overcome the above problems, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have recently been demonstrated. However, due to the inherent differences between today\'s DMFBs and MEDA, existing synthesis solutions cannot be utilized for MEDA-based biochips. We present the first biochip synthesis approach that can be used for MEDA. The proposed synthesis method targets operation scheduling, module placement, routing of droplets of various sizes, and diagonal movement of droplets in a two-dimensional array. Simulation results using benchmarks and experimental results using a fabricated MEDA biochip demonstrate the effectiveness of the proposed co-optimization technique.Item type:Item, Micro-Electrode-Dot-Array Digital Microfluidic Biochips: Technology, Design Automation, and Test Techniques(2019-04-01) ;Zhong, Zhanwei ;Li, Zipeng ;Chakrabarty, Krishnendu ;Ho, Tsung-YiLee, Chen-YiDigital microfluidic biochips (DMFBs) are being increasingly used for DNA sequencing, point-of-care clinical diagnostics, and immunoassays. DMFBs based on a micro-electrode-dot-array (MEDA) architecture have recently been proposed, and fundamental droplet manipulations, e.g., droplet mixing and splitting, have also been experimentally demonstrated on MEDA biochips. There can be thousands of microelectrodes on a single MEDA biochip, and the fine-grained control of nanoliter volumes of biochemical samples and reagents is also enabled by this technology. MEDA biochips offer the benefits of real-time sensitivity, lower cost, easy system integration with CMOS modules, and full automation. This review paper first describes recent design tools for high-level synthesis and optimization of map bioassay protocols on a MEDA biochip. It then presents recent advances in scheduling of fluidic operations, placement of fluidic modules, droplet-size-aware routing, adaptive error recovery, sample preparation, and various testing techniques. With the help of these tools, biochip users can concentrate on the development of nanoscale bioassays, leaving details of chip optimization and implementation to software tools.Item type:Item, Sample Preparation for Multiple-Reactant Bioassays on Micro-Electrode-Dot-Array Biochips(2019-01-01) ;Liang, Tung-Che ;Chan, Yun-Sheng ;Ho, Tsung-Yi ;Chakrabarty, KrishnenduLee, Chen-YiSample preparation, as a key procedure in many biochemical protocols, mixes various samples and/or reagents into solutions that contain the target concentrations. Digital microfluidic biochips (DMFBs) have been adopted as a platform for sample preparation because they provide automatic procedures that require less reactant consumption and reduce human-induced errors. However, traditional DMFBs only utilize the (1:1) mixing model, i.e., only two droplets of the same volume can be mixed at a time, which results in higher completion time and the wastage of valuable reactants. To overcome this limitation, a next-generation micro-electrode-dot-array (MEDA) architecture that provides flexibility of mixing multiple droplets of different volumes in a single operation was proposed. In this paper, we present a generic multiple-reactant sample preparation algorithm that exploits the novel fluidic operations on MEDA biochips. Simulated experiments show that the proposed method outperforms existing methods in terms of saving reactant cost, minimizing the number of operations, and reducing the amount of waste.Item type:Item, Structural and Functional Test Methods for Micro-Electrode-Dot-Array Digital Microfluidic Biochips(2018-05-01) ;Li, Zipeng ;Lai, Kelvin Yi-Tse ;Yu, Po-Hsien ;Chakrabarty, KrishnenduHo, Tsung-YiA digital microfluidic biochip (DMFB) is an attractive platform for immunoassays, point-of-care clinical diagnostics, DNA sequencing, and other laboratory procedures in biochemistry. More recently, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have been proposed, and droplet manipulations on MEDA biochips have also been experimentally demonstrated. In order to ensure robust fluidic operations and high confidence in the outcome of biochemical experiments, MEDA biochips must be adequately tested before they can be used for bioassay execution. This paper presents the first approach for testing of MEDA biochips that include both CMOS circuits and microfluidic components. We first present structural test techniques to evaluate the pass/fail status of each microcell (droplet actuation, droplet maintenance, and droplet sensing) and identify faulty microcells. In order to ensure correct operation of functional units, e.g., mixers and diluters, we also present functional test techniques to address fundamental MEDA operations, such as droplet dispensing, transportation, mixing, and splitting. We evaluate the proposed test methods using simulations as well as experiments for fabricated MEDA biochips.Item type:Item, Testing of Digital Microfluidic Biochips with Arbitrary Layouts(2015) ;Trung Anh Dinh ;Yamashita, Shigeru ;Ho, Tsung-Yi ;Chakrabarty, Krishnendu交大名義發表As in the case of VLSI circuits, digital microfluidic biochips must be adequately tested after manufacturing to guarantee the correctness of the biomedical experiments. In this work, we propose an efficient test method for digital microfluidic biochips. In contrast to related prior work, the proposed test method is not only able to cover all chip defects but also applicable to arbitrary chip layouts. Experiments demonstrate that using the proposed test method, the test-application time can be reduced significantly compared to related prior work.Item type:Item, Testing of Flow-Based Microfluidic Biochips: Fault Modeling, Test Generation, and Experimental Demonstration(2014-10-01) ;Hu, Kai ;Yu, Feiqiao ;Ho, Tsung-Yi ;Chakrabarty, Krishnendu資訊工程學系Recent advances in flow-based microfluidics have led to the emergence of biochemistry-on-a-chip as a new paradigm in clinical diagnostics and biomolecular recognition. However, a potential roadblock in the deployment of microfluidic biochips is the lack of test techniques to screen defective devices before they are used for biochemical analysis. Defective chips lead to repetition of experiments, which is undesirable due to high reagent cost and limited availability of samples. Prior work on fault detection in biochips has been limited to digital ("droplet") microfluidics and other electrode-based technology platforms. The paper proposes the first approach for automated testing of flow-based microfluidic biochips that are designed using membrane-based valves for flow control. The proposed test technique is based on a behavioral abstraction of physical defects in microchannels and valves. The flow paths and flow control in the microfluidic device are modeled as a logic circuit composed of Boolean gates, which allows test generation to be carried out using standard automatic test pattern generation tools. The tests derived using the logic circuit model are then mapped to fluidic operations involving pumps and pressure sensors in the biochip. Feedback from pressure sensors can be compared to expected responses based on the logic circuit model, whereby the types and positions of defects are identified. We show how a fabricated biochip can be tested using the proposed method, and demonstrate experimental results for two additional fabricated chips.