1Key Laboratory of Eco-Textiles, Graduate School of Textiles and Clothing Ministry of Education, Jiangnan University, Wuxi, 214122, Jiangsu Province, P.R.China
2Laboratory of Controlled Release Systems and Gene Therapy, Dept of Chemical Engineering, Ben-Gurion University of the Negev, BeerSheva, 84105, Israel
3National Institute for Bio-Technology of the Negev, Ben-Gurion University of the Negev, BeerSheva, 84105, Israel
4IKI Nanoscale Sciences Centre, Ben-Gurion University of the Negev, BeerSheva, 84105, Israel
5SCME Jiangnan University, Wuxi, 214122, Jiangsu Province, P.R.China
6Institut für Chemie, University of Rostock, Albert-Einstein-Str.3a, 18059, Rostock, Germany
*E-mails:tejdnk@gmail.com/qfwei@jiangnan.edu.cn
Bio-inspired computing devices are playing a major role in spearheading the revolution of future electronic circuits. In this paper, we focus and describe computational analysis of gene logic circuits based on the quantified Boolean formulae approach using a QBF software tool. We base our current research on an established basic theorem and two simple lemmas for ‘NOT’ and ‘AND’ logic gates derived from bio-molecular systems and demonstrate the effectiveness of circuit analysis using a QBF Solver. Electronic circuits are established, proven and readily compatible, with real-world problems. Hence, we undertook research in this promising domain using biology as a source of inspiration for developing revolutionary computing platforms of the future.
Bio-Inspiration, Computing, Quantified Boolean Formula, Boolean-logic, CNF, QBF Methodology, Lemma
