共 14 条
[1]
Barrett C., 2010, INT SMT WORKSH ED
[3]
Z3: An efficient SMT solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
2008, 4963
:337-340
[4]
Grissom D, 2012, IEEE INT CONF VLSI, P177, DOI 10.1109/VLSI-SoC.2012.6379026
[5]
Haedicke F., 2011, DIFTS, P22
[6]
Digital Microfluidic Biochips: A Vision for Functional Diversity and More than Moore
[J].
2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD),
2010,
:578-585
[7]
Hu K, 2013, DES AUT TEST EUROPE, P559
[8]
A Fast Routability- and Performance-Driven Droplet Routing Algorithm for Digital Microfluidic Biochips
[J].
2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN,
2009,
:445-450
[9]
Exact One-pass Synthesis of Digital Microfluidic Biochips
[J].
2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC),
2014,