Text this: Автоматизация синтеза функциональных схем (на примере сумматоров с групповым переносом)