TY - BOOK
T1 - Genetic Design Automation
T2 - A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits
AU - Baig, Hasan
AU - Madsen, Jan
PY - 2020
Y1 - 2020
N2 - This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim tool (Dynamic Virtual Analyzer and Simulator) which is used for the analysis and verification of genetic logic circuits. This includes methods and algorithms for the timing and threshold value analyses of genetic logic circuits. Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. Chapters are followed by exercises which give readers hands-on practice with the tools presented. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools. Both DVASim and GeneTech are available from the developer’s website, free of charge.
AB - This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim tool (Dynamic Virtual Analyzer and Simulator) which is used for the analysis and verification of genetic logic circuits. This includes methods and algorithms for the timing and threshold value analyses of genetic logic circuits. Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. Chapters are followed by exercises which give readers hands-on practice with the tools presented. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools. Both DVASim and GeneTech are available from the developer’s website, free of charge.
KW - Genetic Circuit Design and Testing
KW - Engineering Genetic Circuits
KW - Synthetic Biology Design
KW - Genetic Design Automation
KW - Technology mapping of genetic circuits
U2 - 10.1007/978-3-030-52355-8
DO - 10.1007/978-3-030-52355-8
M3 - Book
SN - 978-3-030-52354-1
BT - Genetic Design Automation
PB - Springer
ER -