High quality DNA design tools are becoming increasingly important as synthetic biology continues to increase the rate and throughput of building and testing genetic constructs. To make effective use of expanded build and test capacity, genotype design tools must not only be efficient enough to allow for many designs to be easily created, but also expressive enough to support the complex design patterns required by scientists on the frontier of genome engineering. Genotype Specification Language (GSL) is a language-based design tool invented at Amyris that enables scientists to quickly create DNA designs using a familiar syntax. This syntax provides a layer of abstraction that moves users away from reading and writing raw DNA sequences toward composing designs in terms of functional parts . GSL increases the speed at which scientists can design DNA constructs, provides a precise and reproducible representation of parts, and achieves these goals while maintaining design flexibility. Finally, the GSL compiler can emit information such as the exact final DNA sequence of the design as well as the reagents (primers and template information) required to physically build the constructs. Since its open-source release in February 2016, the GSL compiler can be freely downloaded and used by genome engineers to efficiently specify genetic designs. This chapter briefly introduces GSL syntax and design principles before examining specific examples of genome engineering tasks with accompanying GSL code.
Keywords: Bio-design automation; Genome engineering; Programming language.