Basic Operation Modules Designed With Domain Label Based On DNA Strand Displacement

Winfree solved the instability caused by NOT gate constructed by Georg Seeling via dual-rail logic.Logic circuits that can be designed by NOT gate,AND gate and OR gate can also be designed by AND gate module,OR gate module constructed by Winfree and dual-rail logic theorectically which have been widely applied for designing DNA logic circuits.However,there are many DNA logic circuits which have not yet been designed.In this paper,the first DNA dual-rail 4-10 decoder based on DNA strand displacement was designed by combining AND gate module,OR gate module constructed by Winfree and dual-rail logic,the simulation of which indicates that it has good stability.The simulation of cascade of dual-rail 4-10 decoder and memory indicates that dual-rail 4-10 decoder has good encapsulation and can cascade with DNA dual-rail logic circuits to design DNA dual-rail logic circuits with larger scale.Although DNA dual-rail logic circuit possess stability and encapsulation,the scale of DNA dual-rail logic circuit is two times that of corresponding DNA single-rail logic circuit and compared with DNA single-rail logic circuit,DNA dual-rail logic circuit is more complex to design.In this paper,domain t and domain f represent logic 1 and logic 0 respectively,based on which we construct stable AND gate module with domain label,OR gate module with domain label,NOT gate module with domain label based on DNA strand displacement.New designed AND gate module with domain label,OR gate module with domain label,NOT gate module with domain label possess good stability and encapsulation,which not only solved the instability caused by NOT gate constructed by Georg Seeling,but also avoided the problem related to scale caused by dual-rail logic.In this paper,we construct the first DNA binary4 4array multiplier based on DNA strand displacement by combining AND gate module with domain label,OR gate module with domain label and NOT gate module with domain label.The simulation of DNA binary4 4array multiplier in Visual DSD indicates that AND gate module with domain label,OR gate module with domain label,NOT gate module with domain label possess good stability and encapsulation and they can be applied for constructing stable DNA logic circuit with larger scale and more complexity.In addition,new operation modules with domain label,-mapping modules,were constructed due to its high parallelism,huge storage,which is different from AND gate,OR gate and NOT gate.DNA logic circuits designed with-mapping modules possess higher parallelism and less layers,which reduces the DNA computing time to a lower level and makes DNA computer solve NP-complete problem faster.In this paper,we construct the first binary DNA 16-bit adder/subtractor by combining 2-mapping modules and 3-mapping modules.The simulation of binary DNA 16-bit adder/subtractor in Visual DSD indicates that-mapping modules possess good stability and encapsulation and they can be applied for constructing stable DNA logic circuit with larger scale and more complexity.Compared with DNA dual-rail logic circuit and DNA binary 4 4 array multiplier,binary DNA 16-bit adder/subtractor possesss more complexity and less computing time,which further indicates that DNA logic circuits designed by-mapping modules possess higher parallelism and less layers.