Synthesis of Microfluidic Chip Designs using SMT Solvers

使用 SMT 求解器综合微流控芯片设计

• 批准号: RGPIN-2015-06203
• 负责人: Rayside, Derek
• 金额: $ 1.75万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634550
• 关键词: Synthesis; Microfluidic; Chip; Designs; using

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.

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