以电路综合为目标，针对各种语言结构逐一讨论了其可综合性、仿真与综合时的语义差别以及相关的各种用法，对各种似是而非的用法作了对比，指出了其语义差别和所综合出的电路在功能上的差异，详细介绍了设计模型的优化技术和验证技术。
