SYNTHESIS TOOLS