The topic of this article is the development of an open-source automated design framework for synthetic biology, specifically for the design of artificial gene regulatory networks based on a digital approach. In opposition to other tools, GeNeDA is an open-source online software based on existing tools used in microelectronics that have proven their efficiency over the last 30 years. The complete framework is composed of a computation core directly adapted from an Electronic Design Automation tool, input and output interfaces, a library of elementary parts that can be achieved with gene regulatory networks, and an interface with an electrical circuit simulator. Each of these modules is an extension of microelectronics tools and concepts: ODIN II, ABC, the Verilog language, SPICE simulator, and SystemC-AMS. GeNeDA is first validated on a benchmark of several combinatorial circuits. The results highlight the importance of the part library. Then, this framework is used for the design of a sequential circuit including a biological state machine.
Get full access to this article
View all access options for this article.
References
1.
AlonU.2006. An Introduction to Systems Biology: Design Principles of Biological Circuits. Chapman & Hall.
2.
AshendenP.J.2010. The Designer's Guide to VHDL. Morgan Kaufmann.
3.
BealJ., LuT., and WeissR.2011a. Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks. PloS One, 6, e22490.
4.
BealJ., WeissR., DensmoreD., et al.2011b. TASBE: A Tool-Chain to Accelerate Synthetic Biological Engineering. 3rd International Workshop Bio-Design Automation.
5.
BealJ., WeissR., DensmoreD., et al.2012. An end-to-end workflow for engineering of biological networks from high-level specifications. ACS Synthetic Biol. 1, 317–331.
6.
BecskeiA., SéraphinB., and SerranoL.2001. Positive feedback in eukaryotic gene networks: Cell differentiation by graded to binary response conversion. EMBO J. 20, 2528–2535.
7.
BhatiaS., and DensmoreD.2013. Pigeon: A design visualizer for synthetic biology. ACS Synthetic Biol. 2, 348–350.
8.
BilitchenkoL., LiuA., CheungS., et al.2011. Eugene—A domain specific language for specifying and constraining synthetic biological parts, devices, and systems. PloS One, 6, e18882.
9.
BraytonR.K., HachtelG.D., Sangiovanni-VincentelliA., et al.1996. VIS: A system for verification and synthesis. Computer-Aided Verification, 428–432. Springer: Berlin, Heidelberg.
10.
CantonB., LabnoA., and EndyD.2008. Refinement and standardization of synthetic biological parts and devices. Nature Biotechnol. 26, 787–793.
11.
ChandranD., BergmannF.T., and SauroH.M.2009. TinkerCell: Modular CAD tool for synthetic biology. J. Biol. Engineer, 3, 19.
12.
ChangD.-E., LeungS., AtkinsonM.R., et al.2010. Building biological memory by linking positive feedback loops. Proc. Natl. Acad. Sci. U. S. A. 10, 175–180.
13.
CoolingM.T., RouillyV., MisirliG., et al.2010. Standard virtual biological parts: A repository of modular modeling components for synthetic biology. Bioinformatics, 26, 925–931.
14.
CzarM.J., CaiY., and PeccoudJ.2009. Writing DNA with GenoCAD. Nucleic Acids Res. 37, W40–W47.
15.
DensmoreD., KittlesonJ.T., BilitchenkoL., et al.2010. Rule based constraints for the construction of genetic devices. Proc 2010 IEEE Intl Symp Circuits Systems. 557–560.
16.
ElowitzM.B., and LeiblerS.2000. A synthetic oscillatory network of transcriptional regulators. Nature, 403, 335–338.
17.
EndyD.2005. Foundations for engineering biology. Nature, 438, 449–453.
18.
FrezzaB., CockroftS., and GhadiriM.2007. Modular multi-level circuits from immobilized DNA-based logic gates. J. Am. Chem. Soc., 129, 14875–14879.
19.
GardnerT.S., CantorC.R., and CollinsJ.J.2000. Construction of a genetic toggle switch in Escherichia coli. Nature, 403, 339–342.
20.
GendraultY., MadecM., LallementC., and HaiechJ.2014. Modeling biology with HDL languages: A first step toward a genetic design automation tool inspired from microelectronics. IEEE Transact. Biomed. Engineer., 61, 1231–1240.
21.
GerezS.H.1999. Algorithms for VLSI Design Automation. Wiley. New York.
22.
GolerJ.A.2004. BioJADE: A design and simulation tool for synthetic biological systems. [PhD dissertation]. MIT, Cambridge MA.
23.
GuetC., ElowitzM., HsingW., and LeiblerS.2002. Combinatorial synthesis of genetic networks. Science, 296, 1466–1470.
24.
HamT.S., DmytrivZ., PlaharH., et al.2012. Design, implementation and practice of JBEI-ICE: An open source biological part registry platform and tools. Nucleic Acids Res. 40, e141.
25.
HassounS.2012. Genetic/Bio Design Automation for (Re-) Engineering Biological Systems. Design, Automation & Test in Europe Conference & Exhibition (DATE). pp. 242–247.
26.
HemphillJ., and DeitersA.2013. DNA computation in mammalian cells: MicroRNA logic operations. J. Am. Chem. Soc., 135, 10512–10518.
HorowitzP., and HillW.1989. The Art of Electronics. Cambridge Univ. Press, New York.
29.
HoteitI., KharmaN., and VarinL.2012. Computational simulation of a gene regulatory network implementing an extendable synchronous single-input delay flip-flop. BioSystems, 109, 57–71.
30.
HuckaM., FinneyA., SauroH.M., et al.2003. The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics, 19, 524–531.
31.
IsmailM., and FrancaJ.E.2012. Introduction to Analog VLSI Design Automation. Springer Science & Business Media, New York.
32.
JamiesonP., KentK.B., GharibianF., and ShannonL.2010. Odin II—An open-source verilog HDL synthesis tool for CAD research. Field-Programmable Custom Computing Machines (FCCM), 2010 18th IEEE Annual International Symposium on. Pp. 149–156.
33.
JerkeG., and LienigJ.2009. Constraint-driven design: The next step towards analog design automation. Proc. 2009 Intl. Symp. Phys. Design. Pp. 75–82.
34.
KhalilA.S., and CollinsJ.J.2010. Synthetic biology: Applications come of age. Nature Rev. Genetics, 11, 367–379.
35.
KitneyR., and FreemontP.2012. Synthetic biology—The state of play. FEBS Lett., 586, 2029–2036.
36.
KnightT.F.Jr, and SussmanG.J.1998. Cellular gate technology. Unconventional Models of Computation, 257–272. Springer, Singapore.
37.
KnightT.2003. Idempotent vector design for standard assembly of biobricks. MIT Synth. Biol. Work. Gr. Tech. Rep.
38.
KozaJ.R., BennettF.H., AndreD., et al.1997. Automated synthesis of analog electrical circuits by means of genetic programming. Evolutionary Computation, IEEE Transact., 1, 109–128.
39.
LaityJ.H., LeeB.M., and WrightP.E.2001. Zinc finger proteins: New insights into structural and functional diversity. Cur. Opin. Struct. Biol., 11, 39–46.
40.
LebarT., MajerleA., and ŠterB.2014. Designable DNA-binding domains enable construction of logic circuits in mammalian cells. Nature Chem. Biol., 10, 203–208.
41.
LuxM.W., BramlettB.W., BallD.A., and PeccoudJ.2012. Genetic design automation: Engineering fantasy or scientific renewal?. Trends Biotechnol. 30, 120–126.
42.
MarchisioM.A., and StellingJ.2011. Automatic design of digital synthetic gene circuits. PLoS Comput. Biol. 7, e1001083.
43.
MicheliG. De.1994. Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York.
MoonT.S., LouC., TamsirA., StantonB.C., and VoightG.A.2012. Genetic programs constructed from layered logic gates in single cells. Nature, 491, 249–253.
47.
MyersC.J., BarkerN., KuwaharaH., et al.2009. Genetic design automation. Proc. 2009 Intl. Conf. Computer-Aided Design. 2, 713.
48.
PeccoudJ., and IsalanM.2012. The PLOS ONE synthetic biology collection: Six years and counting. PloS One, 7, e43231.
49.
PêcheuxF., MadecM., and LallementC.2010. Is system C-AMS an appropriate “ promoter ” for the modeling and simulation of bio-compatible eystems?. IEEE Int. Symp. Circuit Syst Pp. 1791–1794.
50.
RabaeyJ.M., ChandrakasanA.P., and NikolicB.2002. Digital Integrated Circuits. Prentice Hall, Englewood Cliffs.
51.
RinaudoK., BlerisL., MaddamsettiR., et al.2007. A universal RNAi-based logic evaluator that operates in mammalian cells. Nature Biotechnol. 25, 795–801.
52.
RosatiE., MadecM., PêcheuxF., et al.2015. Design and simulation of a compact genetic flip-flop. Proc. Strasbourg Spring School Adv. Systems. Synthetic Biol. Pp. 115–124.
53.
RutenbarR.1993. Analog design automation: Where are we? Where are we going? Custom Integrated Circuits Conference, 1993. Proc. IEEE 1993. Pp. 11–13.
54.
StojanovicM.N., MitchellT.E., and StefanovicD.2002. Deoxyribozyme-based logic gates. J. Am. Chem. Soc., 124, 3555–3561.
55.
TamsirA., TaborJ.J., and VoigtC.A.2011. Robust multicellular computing using genetically encoded NOR gates and chemical “wires.”. Nature, 469, 212–215.
56.
ThomasD.E., and MoorbyP.R.2002. The Verilog® Hardware Description Language. Springer, US.
57.
ToppS., and GallivanJ.2010. Emerging applications of riboswitches in chemical biology. ACS Chem. Biol., 5, 139–148.
58.
VachouxA., GrimmC., and EinwichK.2003. Analog and mixed signal modelling with SystemC-AMS. Circuits and Systems, 2003. ISCAS’03. Proc. 2003 Intl. Symp. Pp. III–914.
59.
WangL.-T., ChangY.-W., and ChengK.-T.T.2009. Electronic Design Automation: Synthesis, Verification, and Test. Morgan Kaufmann, Burlington.
60.
WeissR., HomsyG., NagpalR.1998. Programming biological cells. Proc. 8th Int. Conf. Archit. Support Program. Lang. Oper. Syst.
61.
WeissR., HomsyG.E., and KnightT.F.Jr. 2002. Toward in Vivo Digital Circuits. Evolution as Computation. Springer, New York. Pp. 275–295.
62.
WelchM., GovindarajanS., NessJ.E., et al.2009. Design parameters to control synthetic gene expression in Escherichia coli. PloS One, 4, e7002.
63.
XieZ., WroblewskaL., ProchazkaL., et al.2011. Multi-input RNAi-based logic circuit for identification of specific cancer cells. Science, 333, 1307–1311.
64.
YamanF., BhatiaS., AdlerA., et al.2012. Automated selection of synthetic biology Parts for genetic regulatory networks. ACS Synth. Biol. 120706084748008. doi: 10.1021/sb300032y.
65.
ZhouJ., ArugulaM., and HalamekJ.2009. Enzyme-based NAND and NOR logic gates with modular design. J. Phys. Chem. B, 113, 16065–16070.
Supplementary Material
Please find the following supplemental material available below.
For Open Access articles published under a Creative Commons License, all supplemental material carries the same license as the article it is associated with.
For non-Open Access articles published, all supplemental material carries a non-exclusive license, and permission requests for re-use of supplemental material or any part of supplemental material shall be sent directly to the copyright owner as specified in the copyright notice associated with the article.
