Digital logic with molecular reactions

This paper presents a methodology for implementing digital logic with molecular reactions based on a bistable mechanism for representing bits. The value of a bit is not determined by the concentration of a single molecular type; rather, it is the comparison of the concentrations of two complementary types that determines if the bit is “0” or “1”. This mechanism is robust: any small perturbation or leakage in the concentrations quickly gets cleared out and the signal value is not affected. Based on this representation for bits, a constituent set of logical components are implemented. These include combinational components - AND, OR, NOR, and XOR - as well as sequential components - D latches and D flip-flops. Using these components, three full-fledged design examples are given: a square-root unit, a binary adder and a linear feedback shift register. DNA-based computation via strand displacement is the target experimental chassis. The designs are validated through simulations of the chemical kinetics. The simulations show that the molecular systems compute digital functions accurately and robustly.

[1]  G. Seelig,et al.  DNA as a universal substrate for chemical kinetics , 2010, Proceedings of the National Academy of Sciences.

[2]  Hua Jiang,et al.  Binary Counting with Chemical Reactions , 2011, Pacific Symposium on Biocomputing.

[3]  G. Seelig,et al.  Enzyme-Free Nucleic Acid Logic Circuits , 2022 .

[4]  Christopher A. Voigt,et al.  Environmental signal integration by a modular AND gate , 2007, Molecular systems biology.

[5]  R. Jackson,et al.  General mass action kinetics , 1972 .

[6]  Ron Weiss,et al.  Toward in vivo Digital Circuits , 2002 .

[7]  Ron Weiss,et al.  Cellular computation and communications using engineered genetic regulatory networks , 2001, Cellular Computing.

[8]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[9]  周天舒.  Simulation program with integrated circuit emphasis (SPICE) model building method for size reduced process , 2010 .

[10]  Robert M. Dirks,et al.  Selective cell death mediated by small conditional RNAs , 2010, Proceedings of the National Academy of Sciences.

[11]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[12]  Maung Nyan Win,et al.  Frameworks for programming biological function through RNA parts and devices. , 2009, Chemistry & biology.

[13]  Marc D. Riedel,et al.  Rate-Independent Constructs for Chemical Computation , 2011, Pacific Symposium on Biocomputing.

[14]  Yiannis N. Kaznessis,et al.  Forward engineering of synthetic bio-logical and gates , 2008 .

[15]  Matthew Cook,et al.  Computation with finite stochastic chemical reaction networks , 2008, Natural Computing.

[16]  Keshab K. Parhi,et al.  Writing and Compiling Code into Biochemistry , 2010, Pacific Symposium on Biocomputing.

[17]  Péter Érdi,et al.  Mathematical Models of Chemical Reactions: Theory and Applications of Deterministic and Stochastic Models , 1989 .

[18]  Brian Fett,et al.  Module locking in biochemical synthesis , 2008, ICCAD 2008.

[19]  Lulu Qian,et al.  Efficient Turing-Universal Computation with DNA Polymers , 2010, DNA.

[20]  Hua Jiang,et al.  Discrete-time signal processing with DNA. , 2013, ACS synthetic biology.

[21]  Keshab K. Parhi,et al.  Synchronous sequential computation with molecular reactions , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[22]  Darko Stefanovic,et al.  Deoxyribozyme-based logic gates. , 2002, Journal of the American Chemical Society.

[23]  R. Weiss,et al.  Directed evolution of a genetic circuit , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[24]  Jehoshua Bruck,et al.  Synthesizing Stochasticity in Biochemical Systems , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[25]  J. Ross,et al.  Computational functions in biochemical reaction networks. , 1994, Biophysical journal.

[26]  Irving R. Epstein,et al.  An Introduction to Nonlinear Chemical Dynamics: Oscillations, Waves, Patterns, and Chaos , 1998 .

[27]  Jeremy Minshull,et al.  Engineering the Salmonella type III secretion system to export spider silk monomers , 2009, Molecular systems biology.

[28]  James L. Massey,et al.  Shift-register synthesis and BCH decoding , 1969, IEEE Trans. Inf. Theory.

[29]  J. Ross,et al.  Signal Processing by Simple Chemical Systems , 2002 .

[30]  D. Koshland,et al.  An amplified sensitivity arising from covalent modification in biological systems. , 1981, Proceedings of the National Academy of Sciences of the United States of America.

[31]  Brian Fett,et al.  Module locking in biochemical synthesis , 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.

[32]  Timothy S. Ham,et al.  Production of the antimalarial drug precursor artemisinic acid in engineered yeast , 2006, Nature.

[33]  Christopher A. Voigt,et al.  Environmentally controlled invasion of cancer cells by engineered bacteria. , 2006, Journal of molecular biology.

[34]  E. Shapiro,et al.  An autonomous molecular computer for logical control of gene expression , 2004, Nature.

[35]  M. Win,et al.  A modular and extensible RNA-based gene-regulatory platform for engineering cellular function , 2007, Proceedings of the National Academy of Sciences.

[36]  A. Turberfield,et al.  A DNA-fuelled molecular machine made of DNA , 2022 .

[37]  M. Win,et al.  Higher-Order Cellular Information Processing with Synthetic RNA Devices , 2008, Science.

[38]  Lulu Qian,et al.  A Simple DNA Gate Motif for Synthesizing Large-Scale Circuits , 2008, DNA.

[39]  Keshab K. Parhi.  A systematic approach for design of digit-serial signal processing architectures , 1991 .

[40]  Keshab K. Parhi,et al.  A synthesis flow for digital signal processing with biomolecular reactions , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).