算术电路相关论文
本文提出了一种利用综合引擎重现算术电路的优化过程的算法,提高了等价性验证效率.ZDFV的综合引擎首先识别乘法器的编码方式,提取......
该文提出了两种易于用电流信号实现的有界算术运算，基于这两种运算建立了适用于描述电流型数字电路的有界代数系统。讨论表明，这种有......
文章提出了一种十分有效的基于图进化的优化技术,并成功地解决了16-比特常系数乘法器的设计问题.实验结果充分表明,在大部分情形下......
本文应用开关－信号理论建立了基于对称三值逻辑适用于对称三值电流型ＣＭＯＳ电路开关级设计的对称传输电流开关理论。......
为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性，提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结......
为提高等价性验证效率，提出了一种利用综合引擎重现算术电路的优化过程算法．算法在单向无环图上计算距离，提取出变量的分组和结合顺序......
文章提出了一种十分有效的基于图进化的优化技术,并成功地解决了16-比特常系数乘法器的设计问题.实验结果充分表明,在大部分情形下......
