A SAT-based routing algorithm for cross-referencing biochips

Authors:
Ping-Hung Yuh;Cliff Chiung-Yu Lin;Tsung-Wei Huang;Tsung-Yi Ho;Chia-Lin Yang;Yao-Wen Chang
Affiliations:
Taiwan Semiconductor Manufacturing Company, Taiwan;Stanford University, Stanford, CA;National Cheng Kung University, Tainan, Taiwan;National Cheng Kung University, Tainan, Taiwan;National Taiwan University, Taipei, Taiwan;National Taiwan University, Taipei, Taiwan
Venue:
Proceedings of the System Level Interconnect Prediction Workshop
Year:
2011

Citing 12
Cited 0

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
PathFinder: a negotiation-based performance-driven router for FPGAs

FPGA '95 Proceedings of the 1995 ACM third international symposium on Field-programmable gate arrays
Generic ILP versus specialized 0-1 ILP: an update

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Droplet routing in the synthesis of digital microfluidic biochips

Proceedings of the conference on Design, automation and test in Europe: Proceedings
Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips

CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
A cross-referencing-based droplet manipulation method for high-throughput and pin-constrained digital microfluidic arrays

Proceedings of the conference on Design, automation and test in Europe
BioRoute: a network-flow based routing algorithm for digital microfluidic biochips

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
A high-performance droplet router for digital microfluidic biochips

Proceedings of the 2008 international symposium on Physical design
A progressive-ILP based routing algorithm for cross-referencing biochips

Proceedings of the 45th annual Design Automation Conference
Microfluidics-Based Biochips: Technology Issues, Implementation Platforms, and Design-Automation Challenges

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Performance Characterization of a Reconfigurable Planar-Array Digital Microfluidic System

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

CAD problems for microfluidic biochips have recently gained much attention. One critical issue is the droplet routing problem. On cross-referencing biochips, the routing problem requires an efficient way to tackle the complexity of simultaneous droplet routing, scheduling and voltage assignment. In this paper, we present the first SAT based routing algorithm for droplet routing on cross-referencing biochips. The SAT-based technique solves a large problem size much more efficiently than a generic ILP formulation. We adopt a two-stage technique of global routing followed by detailed routing. In global routing, we iteratively route a set of nets that heavily interfere with each other. In detailed routing, we adopt a negotiation based routing algorithm and the droplet routing information obtained in the global routing stage is utilized for routing decision.. The experimental results demonstrate the efficiency and effectiveness of the proposed SAT-based routing algorithm on a set of practical bioassays.