Abstract
In this chapter we address the problem of mapping a biochemical application modeled as a sequencing graph to a given biochip architecture. The mapping consists of the binding, scheduling, and routing tasks. We first propose a constraint programming (CP) synthesis approach that optimally synthesizes a biochemical application onto the specified biochip architecture with the application completion time minimization as the target objective. The synthesis process involves performing binding and scheduling of operations while satisfying the dependency and resource constraints. Our CP approach ignores fluid routing. We also propose a computationally efficient heuristic approach that also takes into account fluidic routing (contention aware edge scheduling) together with the operation mapping. Real-life case studies and a set of synthetic benchmarks have been synthesized on different architectures for validating the proposed approach. To aid the development and testing during the application development phase, we have also developed a simulator that shows how a given mapped biochemical application is executed on a target biochip architecture. The proposed approaches are expected to reduce human effort, enabling designers to take early design decisions by being able to evaluate their proposed architecture, minimizing the design cycle time and also facilitating programmability and automation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Kuchcinski, K.: Constraints-driven scheduling and resource assignment. ACM Trans. Des. Autom. Electron. Syst. 8(3), 355–383 (2003)
Micheli, G.D.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York (1994)
Minhass, W., Pop, P., Madsen, J.: System-level modeling and synthesis techniques for flow-based microfluidic very large scale integration biochips. Ph.D. thesis, Technical University of Denmark, DTU (2012)
Minhass, W.H., Pop, P., Madsen, J.: Synthesis of biochemical applications on flow-based microfluidic biochips using constraint programming. In: Proceedings of the IEEE Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS, pp. 37–41 (2012)
Schulte, C., Tack, G., Lagerkvist, M.Z.: Modeling and programming with gecode. http://www.gecode.org/ (2011)
Sinnen, O.: Task Scheduling for Parallel Systems. Wiley, Hoboken, New Jersey (2007)
Ullman, D.: NP-complete scheduling problems. J. Comput. Syst. Sci. 10, 384–393 (1975)
Urbanski, J.P., Thies, W., Rhodes, C., Amarasinghe, S., Thorsen, T.: Digital microfluidics using soft lithography. Lab Chip 6(1), 96–104 (2006)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Pop, P., Minhass, W.H., Madsen, J. (2016). Application Mapping and Simulation. In: Microfluidic Very Large Scale Integration (VLSI). Springer, Cham. https://doi.org/10.1007/978-3-319-29599-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-29599-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29597-8
Online ISBN: 978-3-319-29599-2
eBook Packages: EngineeringEngineering (R0)