rtl2dna: an automatic flow of large-scale dna-based logic circuit design

Dna computing is a new kind of computation for solving the complex problems with the huge degree of parallelism. recently it is found that dna-based logic systems can be useful in many of biomedical applications such as early cancer detection. as an example, dna logic systems have been utilized successfully to detect the risky patterns of nucleotide-based cancer biomarkers (micrornas). in this paper, an automatic design flow is proposed to facilitate the design, verification and physical implementation of multi-stage and large-scale dna logic circuits. digital microfluidic biochips (dmfb) have been used recently as a promising platform for efficient implementation of dna-based computing systems and circuits. we used this technology as the physical platform for implementation of dna-based circuits.our experiments and implementations show the feasibility, accuracy, efficiency and simplicity of the proposed design flow. final dna reactions that are synthesized by the proposed design flow are verified and simulated with stochastic dna-reaction simulators to prove the correctness of the proposed design flow. this design flow can open a new horizon for researchers and scientists to design, implement and evaluate the dna-based logic systems.