Synthesis techniques on the software "Digital"