详细的诠释了综合的定义，解释软件是如何对verilog程序进行综合，并涵盖了verilog的RTL设计的好的代码风格。