Synthetic biology holds the promise of addressing many societal problems through the application of engineering principles to the design of biological systems. However, despite recent theoretical and experimental advances, the construction of biological devices that behave “as required” remains challenging. Biodesign automation (BDA) tools aim to decrease the cost and improve the robustness of biological circuits but the development of scalable methods allowing the high-level specification of circuits and their intended dynamical behavior is still an active research area.