Formal Method Research on Integer Multiplier Verification

• 整数乘法电路的形式化验证方法研究