iBioSim is a computer-aided design (CAD) tool for modeling, analysis and design of genetic circuits and other biological and chemical systems. The program imports and exports models specified using the Systems Biology Markup Language (SBML) and also supports Synthetic Biology Open Language (SBOL). iBioSim was developed at University of Utah.