|
|
下载PDF在浏览器中打开PDF用于算术电路验证的重写环境11页•发布日期：2018年10月23日摘要本文描述了一种用于验证整数算术电路的实用软件工具。它涵盖了不同类型的整数乘法器、融合加法乘法器电路和常数除法器——一般来说，其计算可以表示为多项式的电路。验证使用电路的代数模型，通过使用逻辑门的多项式模型将主要输出（输出签名）的二进制编码多项式重写为主要输入（输入签名）的多项式来完成。生成的多项式表示电路实现的算术函数，因此可用于从其网关级实现中提取功能规范。重写使用了一种有效的和-转换图（AIG）表示法，以提取电路的基本算术组件。该工具与流行的ABC系统集成。它的效率通过整数乘法器、融合乘法电路和除以常数电路的令人印象深刻的结果来说明。整个验证系统是在一个开源的ABC环境中提供的，同时还提供了一组广泛的基准测试。键盘以下为：算术电路,计算机代数,形式验证 在以下为：吉尔斯·巴特,杰夫·萨特克利夫和玛格斯·维恩斯（编辑）。LPAR-22。第22届程序设计、人工智能和推理逻辑国际会议，第57卷，第656--666页 |
|
|
