EDA技术与Verilog HDL