Verilog HDL数字集成电路设计原理与应用(第二版)第7章仿真测试工具和综合工具