Droplet Size-Aware High-Level Synthesis for Micro-Electrode-Dot-Array Digital Microfluidic Biochips | IEEE Journals & Magazine | IEEE Xplore