根木尔

我们提出了乘法器发生器GenMul,它在Verilog中输出乘法器电路。乘法器的输入大小和每个乘法器级都可以用GenMul配置。此外,GenMul是麻省理工学院授权的开源软件,可以方便地添加新的架构。总的来说,这允许挑战形式化的方法,如实验所示,这些实验比较了最近的验证方法。