计算机辅助综合

computer aided synthesis