Exact routing for digital microfluidic biochips with temporary blockages
暂无分享,去创建一个
[1] Stefan Frehse,et al. metaSMT: Focus on Your Application not on Solver Integration , 2011, DIFTS@FMCAD.
[2] Kai Hu,et al. Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[3] R. Fair,et al. A scaling model for electrowetting-on-dielectric microfluidic actuators , 2009 .
[4] Yao-Wen Chang,et al. BioRoute: a network-flow based routing algorithm for digital microfluidic biochips , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
[5] Christel Baier,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2015, Lecture Notes in Computer Science.
[6] Tsung-Wei Huang,et al. A fast routability- and performance-driven droplet routing algorithm for digital microfluidic biochips , 2009, 2009 IEEE International Conference on Computer Design.
[7] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[8] Krishnendu Chakrabarty,et al. Digital microfluidic biochips: A vision for functional diversity and more than moore , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[9] Yao-Wen Chang,et al. A SAT-based routing algorithm for cross-referencing biochips , 2011, International Workshop on System Level Interconnect Prediction.
[10] Yao-Wen Chang,et al. A progressive-ILP based routing algorithm for cross-referencing biochips , 2008, 2008 45th ACM/IEEE Design Automation Conference.
[11] David Z. Pan,et al. A High-Performance Droplet Routing Algorithm for Digital Microfluidic Biochips , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[12] Clark W. Barrett,et al. The SMT-LIB Standard Version 2.0 , 2010 .
[13] Cesare Tinelli,et al. The SMT-LIB Standard: Version 1.2 , 2005 .
[14] Robert Wille,et al. Exact one-pass synthesis of digital microfluidic biochips , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
[15] Philip Brisk,et al. A digital microfluidic biochip synthesis framework , 2012, 2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC).
[16] Fei Su,et al. Droplet Routing in the Synthesis of Digital Microfluidic Biochips , 2006, Proceedings of the Design Automation & Test in Europe Conference.