Hardware/software co-design and optimization for cyberphysical integration in digital microfluidic biochips. ([2015])