Synthetic biology methodology and model refinement based on microelectronic modeling tools and languages.

In microelectronics, the design of new systems is based on a proven time-tested design flow. The goal of this paper is to determine to what extend this design flow can be adapted to biosystem design. The presented methodology is based on a top-down approach and consists of starting with a behavioral description of the system to progressively refine it to its final low-level system representation, composed of DNA parts. To preserve accuracy and simplicity, the design flow relies on refined models of biological mechanisms, which can be expressed by the hardware description languages and simulation tools traditionally used in microelectronics. A case study, the complete modeling of a priority encoder, is presented to demonstrate the effectiveness of the method.