Leram - Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips