Logic analysis and verification of n-input genetic logic circuits

Hasan Baig, Jan Madsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

615 Downloads (Pure)


Nature is using genetic logic circuits to regulate the fundamental processes of life. These genetic logic circuits are triggered by a combination of external signals, such as chemicals, proteins, light and temperature, to emit signals to control other gene expressions or metabolic pathways accordingly. As compared to electronic circuits, genetic circuits exhibit stochastic behavior and do not always behave as intended. Therefore, there is a growing interest in being able to analyze and verify the logical behavior of a genetic circuit model, prior to its physical implementation in a laboratory. In this paper, we present an approach to analyze and verify the Boolean logic of a genetic circuit from the data obtained through stochastic analog circuit simulations. The usefulness of this analysis is demonstrated through different case studies illustrating how our approach can be used to verify the expected behavior of an n-input genetic logic circuit.
Original languageEnglish
Title of host publicationProceedings of 20th Design, Automation and Test in Europe
Publication date2017
Article number7927070
ISBN (Print)9783981537093
Publication statusPublished - 2017
Event20th Design, Automation and Test in Europe - SwissTech Convention Center, Lausanne, Switzerland
Duration: 27 Mar 201731 Mar 2017
Conference number: 20


Conference20th Design, Automation and Test in Europe
LocationSwissTech Convention Center
SeriesProceedings of the Design, Automation, and Test in Europe Conference and Exhibition


Dive into the research topics of 'Logic analysis and verification of n-input genetic logic circuits'. Together they form a unique fingerprint.

Cite this