Simulated annealing and Boltzmann machines: a stochastic approach to combinatorial optimization and neural computing
Computer
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Static scheduling algorithms for allocating directed task graphs to multiprocessors
ACM Computing Surveys (CSUR)
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Techniques for Synthesis of Analog Integrated Circuits
IEEE Design & Test
Evaluation of Placement Techniques for DNA Probe Array Layout
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Physical And Reduced-Order Dynamic Analysis of MEMS
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Simultaneous design and placement of multiplexed chemical processing systems on microchips
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Concurrent Testing of Droplet-Based Microfluidic Systems for Multiplexed Biomedical Assays
ITC '04 Proceedings of the International Test Conference on International Test Conference
Droplet routing in the synthesis of digital microfluidic biochips
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Priority scheduling in digital microfluidics-based biochips
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Module placement for fault-tolerant microfluidics-based biochips
Proceedings of the 41st annual Design Automation Conference
Chemical and Biological Applications of Digital-Microfluidic Devices
IEEE Design & Test
Scheduling of microfluidic operations for reconfigurable two-dimensional electrowetting arrays
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Design automation and test solutions for digital microfluidic biochips
IEEE Transactions on Circuits and Systems Part I: Regular Papers
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Cross-contamination avoidance for droplet routing in digital microfluidic biochips
Proceedings of the Conference on Design, Automation and Test in Europe
A high-performance online assay interpreter for digital microfluidic biochips
Proceedings of the great lakes symposium on VLSI
Path scheduling on digital microfluidic biochips
Proceedings of the 49th Annual Design Automation Conference
Fast online synthesis of generally programmable digital microfluidic biochips
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Dictionary-based error recovery in cyberphysical digital-microfluidic biochips
Proceedings of the International Conference on Computer-Aided Design
A field-programmable pin-constrained digital microfluidic biochip
Proceedings of the 50th Annual Design Automation Conference
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A cyberphysical synthesis approach for error recovery in digital microfluidic biochips
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Lab-on-a-chip turns soft: computer-aided, software-enabled microfluidics design
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
| Hi-index | 0.00 |
Microfluidic biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques for full-custom design of droplet-based “digital” biochips do not scale well for concurrent assays and for next-generation system-on-chip (SOC) designs that are expected to include microfluidic components. We propose a system design methodology that attempts to apply classical high-level synthesis techniques to the design of digital microfluidic biochips. We focus here on the problem of scheduling bioassay functions under resource constraints. We first develop an optimal scheduling strategy based on integer linear programming. However, because the scheduling problem is NP-complete, we also develop two heuristic techniques that scale well for large problem instances. A clinical diagnostic procedure, namely multiplexed in-vitro diagnostics on human physiological fluids, is first used to illustrate and evaluate the proposed method. Next, the synthesis approach is applied to a protein assay, which serves as a more complex bioassay application. The proposed synthesis approach is expected to reduce human effort and design cycle time, and it will facilitate the integration of microfluidic components with microelectronic components in next-generation SOCs.