Synthesis of Microfluidic Chip Designs using SMT Solvers

微流控芯片是一种具有传输液体的通道而不是携带电子的导线的芯片上实验室设备，由于其在测试分析和大规模化学反应自动化中的应用，近年来引起了生物医学行业的极大关注。这些芯片有望大幅降低大规模反应和生化传感器的成本。微流体市场估计将增长到超过100亿美元在此期间的赠款。

Microfluidic chips, lab-on-a-chip devices that have channels transporting liquids instead of wires carrying electrons, have attracted considerable attention recently from the bio-medical industry because of their application in testing assay and large-scale chemical reaction automation. These chips promise dramatic reduction in the cost of large-scale reactions and bio-chemical sensors. The market for microfluidics is estimated to grow to over $10B in the duration of this grant.