5.2.3 硬件描述语言的可综合设计