Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
Sprache des Vortragstitels:
International Conference on VLSI Design (VLSI Design)
Sprache des Tagungstitel:
Digital-microfluidic biochips (DMFBs) allow laboratory steps associated with genomic bioassays to be carried out in an automated and highly efficient fashion. However, to support complex (multi-sample) biomolecular protocols for quantitative analysis, conventional design-automation methods are ineffective, thereby motivating the need for more suitable solutions. While first methods to address this problem have recently been introduced, they neglect architectural details and technology-related constraints, and use heuristics to oversimplify the search for a design solution. These simplifications result in designs that may either not be realizable on a DMFB or it is not possible to evaluate how far they are from being optimal. In this work, we propose an exact synthesis method that does not rely on simplistic models and heuristics, but solves the underlying design problem in an exact fashion. The proposed method allows for the determination of exact and realistic results for the realization of quantitative-analysis biomolecular protocols on DMFBs.