Added synthesis files