Computer-Aided Synthesis Design