research-article

Component-Oriented High-level Synthesis for Continuous-Flow Microfluidics Considering Hybrid-Scheduling

Authors:

Tsun-Ming Tseng,

Ulf SchlichtmannAuthors Info & Claims

DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017

Article No.: 51, Pages 1 - 6

https://doi.org/10.1145/3061639.3062213

Published: 18 June 2017 Publication History

Abstract

Technological innovations in continuous-flow microfluidics require updated automated synthesis methods. As new microfluidic components and biochemical applications are constantly introduced, the current functionality-based application mapping methods and the fixed-time-slot scheduling methods are insufficient to solve the new design challenges. In this work, we propose a component-oriented general device concept that enables precise description of operations and devices, and adapts well to technological updates. Applying this concept, we propose a layering algorithm together with a mathematical modeling method to synthesize binding and hybrid-scheduling solutions that support both fixed schedule and real-time decisions. We also consider potential chip layout and optimize the number of flow channels among devices to save routing efforts. Experimental results demonstrate that our solution fully utilizes the chip resources and can handle operations with different requirements.

References

[1]

D. Mark, S. Haeberle, G. Roth, F. V. Stetten, and R. Zengerle, "Microfluidic lab-on-a-chip platforms: requirements, characteristics and applications," Chem. Soc. Rev., vol. 39, pp. 1153--1182, 2010.

[2]

A. M. Amin, M. Thottethodi, T. Vijaykumar, S. Werely, and S. C. Jacobson, "Aquacore: a programmable architecture for microfluidics," in Proc. Int. Symp. on Comput. Archi., pp. 254--265, 2007.

Digital Library

[3]

W. H. Minhass, P. Pop, and J. Madsen, "System-level modeling and synthesis of flow-based microfluidic biochips," in Proc. Int. Conf. Compil., Arch. and Syn. Embed. Sys., pp. 225--234, 2011.

Digital Library

[4]

K.-H. Tseng, S.-C. You, J.-Y. Liou, and T.-Y. Ho, "A top-down synthesis methodology for flow-based microfluidic biochips considering valve-switching minimization," in Proc. Int. Symp. Phy. Des., pp. 123--129, 2013.

Digital Library

[5]

W. H. Minhass, P. Pop, J. Madsen, and F. S. Blaga, "Architectural synthesis of flow-based microfluidic large-scale integration biochips," in Proc. Int. Conf. Compil., Arch. and Syn. Embed. Sys., pp. 181--190, 2012.

Digital Library

[6]

T.-M. Tseng, B. Li, T.-Y. Ho, and U. Schlichtmann, "Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping," in Proc. Design Autom. Conf., pp. 141:1--141:6, 2015.

Digital Library

[7]

J. F. Zhong, Y. Chen, J. S. Marcus, A. Scherer, S. R. Quake, C. R. Taylor, and L. P. Weiner, "A microfluidic processor for gene expression profiling of single human embryonic stem cells," Lab on a Chip, vol. 8, no. 1, pp. 68--74, 2008.

[8]

J. Liu, M. Enzelberger, and S. R. Quake, "A nanoliter rotary device for polymerase chain reaction," Electrophoresis, vol. 23, pp. 1531--1536, 2002.

[9]

M. Li, T.-M. Tseng, B. Li, T.-Y. Ho, and U. Schlichtmann, "Sieve-valve-aware synthesis of flow-based microfluidic biochips considering specific biological execution limitations," in Proc. Design, Automation, and Test Europe Conf., 2016.

Digital Library

[10]

C. Fang, Y. Wang, N. T. Vu, W.-Y. Lin, Y.-T. Hsieh, L. Rubbi, M. E. Phelps, M. Müschen, Y.-M. Kim, A. F. Chatziioannou, H.-R. Tseng, and T. G. Graeber, "Integrated microfluidic and imaging platform for a kinase activity radioassay to analyze minute patient cancer samples," Cancer Res., vol. 70, no. 21, pp. 8299--8308, 2010.

[11]

D. D. Carlo, N. Aghdam, and L. P. Lee, "Single-cell enzyme concentrations, kinetics, and inhibition analysis using high-density hydrodynamic cell isolation arrays," Anal. Chem., vol. 78, pp. 4925--4930, 2006.

[12]

Y. Marcy, T. Ishoey, R. S. Lasken, T. B. Stockwell, B. P. Walenz, A. L. Halpern, K. Y. Beeson, S. M. D. Goldberg, and S. R. Quake, "Nanoliter reactors improve multiple displacement amplification of genomes from single cells," PLoS Genet, vol. 9, no. 3, p. e155, 2007.

[13]

M. Ibrahim, K. Chakrabarty, and K. Scott, "Integrated and real-time quantitative analysis using cyberphysical digital-microfluidic biochips," in Proc. Design, Automation, and Test Europe Conf., pp. 630--635, 2016.

Digital Library

[14]

A. R. Wu, J. B. Hiatt, R. Lu, J. L. Attema, N. A. Lobo, I. L. Weissman, M. F. Clarke, and S. R. Quake, "Automated microfluidic chromatin immunoprecipitation from 2,000 cells," Lab on a Chip, vol. 9, pp. 1365--1370, 2009.

[15]

T.-M. Tseng, M. Li, B. Li, T.-Y. Ho, and U. Schlichtmann, "Columba: Co-layout synthesis for continuous-flow microfluidic biochips," in Proc. Design Autom. Conf., 2016.

Digital Library

[16]

H. Yao, Q. Wang, Y. Ru, T.-Y. Ho, and Y. Cai, "Integrated flow-control co-design methodology for flow-based microfluidic biochips," IEEE Des. Test. Comput., 2015.

[17]

A. K. White, M. VanInsberghe, O. I. Petriv, M. Hamidi, D. Sikorski, M. A. Marra, J. Piret, S. Aparicio, and C. L. Hansen, "High-throughput microfluidic single-cell RT-qPCR," Proc. Natl. Acad. Sci., vol. 108, no. 34, pp. 13 999--14 004, 2011.

[18]

J. Wang, H. C. Fan, B. Behr, and S. R. Quake, "Genome-wide single-cell analysis of recombination activity and de novo mutation rates in human sperm," Cell, vol. 150, no. 2, pp. 402--412, 2012.

[19]

R. Gomez-Sjoeberg, A. A. Leyrat, D. M. Pirone, C. S. Chen, and S. R. Quake, "Versatile, fully automated, microfluidic cell culture system," Anal. Chem, vol. 79, pp. 8557--8563, 2007.

[20]

C.-C. Lee, G. Sui, A. Elizarov, C. J. Shu, Y.-S. Shin, A. N. Dooley, J. Huang, A. Daridon, P. Wyatt, D. Stout, H. C. Kolb, O. N. Witte, N. Satyamurthy, J. R. Heath, M. E. Phelps, S. R. Quake, and H.-R. Tseng, "Multistep synthesis of a radiolabeled imaging probe using integrated microfluidics," Science, vol. 310, no. 5755, pp. 1793--1796, 2005.

[21]

A. Gross, J. Schoendube, S. Zimmermann, M. Steeb, R. Zengerle, and P. Koltay, "Technologies for single-cell isolation," Int. J. Mol. Sci., vol. 16, no. 8, pp. 16 897--16 919, 2015.

[22]

K. Gupta, D.-H. Kim, D. Ellison, C. Smith, A. Kundu, J. Tuan, K.-Y. Suh, and A. Levchenko, "Lab-on-a-chip devices as an emerging platform for stem cell biology," Lab on a Chip, vol. 10, pp. 2019--2031, 2010.

[23]

T. Cormen, C. Leiserson, R. Rivest, and C. Stein, Section 26.2: The Ford-Fulkerson method, Introduction to Algorithms (Second ed.). MIT Press and McGraw-Hill.

[24]

Gurobi Optimization, Inc., Gurobi Optimizer Reference Manual. http://www.gurobi.com.

Cited By

Chen ZZhu YChen ZChen ZLiu G(2024)High-Level Synthesis for Microfluidic Biochips Considering Actual Volume Management and Channel Storage2024 25th International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED60706.2024.10528718(1-8)Online publication date: 3-Apr-2024
https://doi.org/10.1109/ISQED60706.2024.10528718
Ye ZChen ZPan YLiu GGuo WHo THuang X(2024)Timing-Driven High-Level Synthesis for Continuous-Flow Microfluidic Biochips2024 25th International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED60706.2024.10528370(1-6)Online publication date: 3-Apr-2024
https://doi.org/10.1109/ISQED60706.2024.10528370
Yang ZHuang HLiu ZDong CXu L(2024)Resource Binding and Module Placement Algorithms for Continuous-Flow Microfluidic Biochip in Intelligent Digital HealthcareGreen, Pervasive, and Cloud Computing10.1007/978-981-99-9896-8_18(266-281)Online publication date: 23-Jan-2024
https://doi.org/10.1007/978-981-99-9896-8_18
Show More Cited By

Recommendations

Wafer-level BCB bonding using a thermal press for microfluidics

Benzocyclobutene (BCB) is a thermosetting polymer that can form microfluidics and bond top and bottom layers of the microfluidics at the same time, and yields high repeatability and high bonding strength. This paper reports using photosensitive BCB to ...
Cross-level hierarchical high-level synthesis
DATE '98: Proceedings of the conference on Design, automation and test in Europe

This paper presents a new approach to cross-level hierarchical high-level synthesis. A methodology is presented, that supports the efficient synthesis of hierarchical specified systems while preserving the hierarchical structure. After synthesis of each ...
High-Level Test Synthesis: A Survey from Synthesis Process Flow Perspective

High-level test synthesis is a special class of high-level synthesis having testability as one of the important components. This article presents a detailed survey on recent developments in high-level test synthesis from a synthesis process flow ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017

June 2017

533 pages

ISBN:9781450349277

DOI:10.1145/3061639

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 June 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

DAC '17

Sponsor:

EDAC
SIGDA

DAC '17: The 54th Annual Design Automation Conference 2017

June 18 - 22, 2017

TX, Austin, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
118
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)2

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Chen ZZhu YChen ZChen ZLiu G(2024)High-Level Synthesis for Microfluidic Biochips Considering Actual Volume Management and Channel Storage2024 25th International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED60706.2024.10528718(1-8)Online publication date: 3-Apr-2024
https://doi.org/10.1109/ISQED60706.2024.10528718
Ye ZChen ZPan YLiu GGuo WHo THuang X(2024)Timing-Driven High-Level Synthesis for Continuous-Flow Microfluidic Biochips2024 25th International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED60706.2024.10528370(1-6)Online publication date: 3-Apr-2024
https://doi.org/10.1109/ISQED60706.2024.10528370
Yang ZHuang HLiu ZDong CXu L(2024)Resource Binding and Module Placement Algorithms for Continuous-Flow Microfluidic Biochip in Intelligent Digital HealthcareGreen, Pervasive, and Cloud Computing10.1007/978-981-99-9896-8_18(266-281)Online publication date: 23-Jan-2024
https://doi.org/10.1007/978-981-99-9896-8_18
Li MZhang YLee JGasvoda HAraci ITseng TSchlichtmann U(2023)Integrated Test Module Design for Microfluidic Large-Scale IntegrationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.321361342:6(1939-1950)Online publication date: Jun-2023
https://doi.org/10.1109/TCAD.2022.3213613
Huang XGuo WChen ZLi BHo TSchlichtmann U(2022)Flow-Based Microfluidic Biochips With Distributed Channel Storage: Synthesis, Physical Design, and Wash OptimizationIEEE Transactions on Computers10.1109/TC.2021.305468971:2(464-478)Online publication date: 1-Feb-2022
https://doi.org/10.1109/TC.2021.3054689
Huang XPan YChen ZGuo WWille RHo TSchlichtmann U(2021)BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)10.1109/ICCAD51958.2021.9643576(1-8)Online publication date: 1-Nov-2021
https://doi.org/10.1109/ICCAD51958.2021.9643576
Zuo FLi MTseng THo TSchlichtmann U(2021)Relative-Scheduling-Based High-Level Synthesis for Flow-Based Microfluidic Biochips2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)10.1109/ICCAD51958.2021.9643477(1-9)Online publication date: 1-Nov-2021
https://doi.org/10.1109/ICCAD51958.2021.9643477
Liu GHuang HChen ZLin HLiu HHuang XGuo W(2021)Design automation for continuous-flow microfluidic biochips: A comprehensive reviewIntegration10.1016/j.vlsi.2021.09.002Online publication date: Sep-2021
https://doi.org/10.1016/j.vlsi.2021.09.002
Dong CLiu LLiu HGuo WHuang XLian SLiu XHo T(2020)A Survey of DMFBs Security: State-of-the-Art Attack and Defense2020 21st International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED48828.2020.9137016(14-20)Online publication date: Mar-2020
https://doi.org/10.1109/ISQED48828.2020.9137016
Tseng TLi MFreitas DMongersun AAraci IHo TSchlichtmann U(2018)Columba SProceedings of the 55th Annual Design Automation Conference10.1145/3195970.3196011(1-6)Online publication date: 24-Jun-2018
https://dl.acm.org/doi/10.1145/3195970.3196011
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents