Design and Analysis of Biomolecular Circuits