Paper accepted at TCAD!
August 2021 - A paper on formal methods-based methodology for adative droplet routing in MEDA biochips has been accepted at the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!
August 2021 - A paper on formal methods-based methodology for adative droplet routing in MEDA biochips has been accepted at the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!