Methodologies, tools for synthesis