A Two-Layer Decoupled Synthesis Framework for Uncertain Biochemical Protocols on Active-Matrix Digital Microfluidic Platforms
Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2026
Recommended citation: C. Jiang, S.Y. Liang, R.L. Fu, B.B. Zhang, M.L. Zhang, Q.N. Wang, X. Huang, B. Yuan, Z.Q. Jia, H.B. Ma, T.-Y. Ho, "A Two-Layer Decoupled Synthesis Framework for Uncertain Biochemical Protocols on Active-Matrix Digital Microfluidic Platforms," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2026.
Active-matrix digital microfluidic (AM-DMF) platforms are used to execute biochemical protocols on an electrode array. These protocols are often uncertain, since operations may fail or the sequence of steps may depend on intermediate results, which makes synthesis for such platforms more involved than in the deterministic case.
This paper proposes a two-layer decoupled synthesis framework for uncertain biochemical protocols on AM-DMF platforms. By separating the synthesis problem into two layers, the framework aims to keep the overall flow tractable while accounting for protocol-level uncertainty.