A Framework for Genetic Logic Synthesis In this paper, the authors introduce af ramework to address the challenges of applying logic synthesis techniques to genetic logic devices.

Digital electronic circuits have inspired synthetic biologists to program living cells with synthetic decision-mak- ing circuits by creating multilevel genetic logic gates. In both genetic and electronic circuits, logic synthesis translates an abstract functional description into a representation that can be physically implemented. However, inherent differences in genetic logic devices present new synthesis challenges. Here we provide a starting point for a growing set of biodesign au- tomation tools to tackle this challenge in a unified way. This framework will enable direct comparison of new approaches, results that are transferable and standardized, and research into independent areas of the problem formulation with a clear path toward future integration.