7.3 综合的概念与Synplify/Synplify Pro综合工具