数字系统综合

digital system synthesis