Design automation for biochemistry synthesis on a digital microfluidic lab-on-a-chip | IEEE Conference Publication | IEEE Xplore