Abstract
In this chapter, a new standalone tool, GeneTech (extracted from Genetic Technology mapping) is discussed, which automate the process of generating genetic circuits for dedicated Boolean functions. GeneTech performs Boolean optimization, followed by synthesis and technology mapping using a library of genetic logic gates. It takes the Boolean expression of a genetic circuit as input, and then first optimize it. Afterwards, it synthesizes the optimized Boolean expression into NOR-NOT form in order to construct the circuit using the real NOR/NOT gates available in the genetic gates library. In the end, GeneTech performs technology mapping to generate all the feasible circuits, with different genetic gates, to achieve the desired logical behavior. The circuits are generated in the form of standard SBOL representation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
B. Bartley, J. Beal, K. Clancy, G. Misirli, N. Roehner, E. Oberortner, M. Pocock, M. Bissell, C. Madsen, T. Nguyen, Z. Zhang, J.H. Gennari, C. Myers, A. Wipat, H. Sauro, Synthetic biology open language (SBOL) Version 2.0.0. J. Integr. Bioinform. 12(2), 272 (2015)
A.A.K. Nielsen, B.S. Der, J. Shin, P. Vaidyanathan, V. Paralanov, E.A. Strychalski, D. Ross, D. Densmore, C.A. Voigt, Genetic circuit design automation. Science 352(6281), aac7341–aac7341 (2016)
C.J. Myers, Engineering Genetic Circuits (Chapman and Hall/CRC, New York, 2009)
G.D. Micheli, Synthesis and optimization of digital circuits, in Synthesis and Optimization of Digital Circuits (1994), p. 576
P. Färm, Integrated Logic Synthesis Using Simulated Annealing, PhD thesis (2007)
S. Kirkpatrick, C. Gelatt Jr, M. Vecchi, Optimization by simulated annealing. Science 220(4598), 671–680 (1983)
Author information
Authors and Affiliations
Corresponding author
1 Electronic Supplementary Material
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Baig, H., Madsen, J. (2020). Technology Mapping of Genetic Circuits. In: Genetic Design Automation . Springer, Cham. https://doi.org/10.1007/978-3-030-52355-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-52355-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-52354-1
Online ISBN: 978-3-030-52355-8
eBook Packages: EngineeringEngineering (R0)