Computer-aided design of microfluidic very large scale integration (mvlsi) biochips : Design Automation, Testing, and Design-for-Testability (2017)