Skip to main content

Application Mapping and Simulation

  • Chapter
  • First Online:
  • 805 Accesses

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Kuchcinski, K.: Constraints-driven scheduling and resource assignment. ACM Trans. Des. Autom. Electron. Syst. 8(3), 355–383 (2003)

    Article  Google Scholar 

  2. Micheli, G.D.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York (1994)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Schulte, C., Tack, G., Lagerkvist, M.Z.: Modeling and programming with gecode. http://www.gecode.org/ (2011)

  6. Sinnen, O.: Task Scheduling for Parallel Systems. Wiley, Hoboken, New Jersey (2007)

    Book  Google Scholar 

  7. Ullman, D.: NP-complete scheduling problems. J. Comput. Syst. Sci. 10, 384–393 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  8. Urbanski, J.P., Thies, W., Rhodes, C., Amarasinghe, S., Thorsen, T.: Digital microfluidics using soft lithography. Lab Chip 6(1), 96–104 (2006)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Paul Pop .

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics