Hardware Design and Fault-Tolerant Synthesis for Digital Acoustofluidic Biochips | IEEE Journals & Magazine | IEEE Xplore