基于verilog的两种方法(算法),实现的除法器,可在modelsim和总和软件中总和验证