数字集成电路设计,verilog,systemverilog,逻辑综合,逻辑仿真