High-Level Synthesis for Microfluidic Biochips Considering Actual Volume Management and Channel Storage | IEEE Conference Publication | IEEE Xplore