算术电路相关论文
文章提出了一种十分有效的基于图进化的优化技术,并成功地解决了16-比特常系数乘法器的设计问题.实验结果充分表明,在大部分情形下......
为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性，提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结......
为提高等价性验证效率，提出了一种利用综合引擎重现算术电路的优化过程算法．算法在单向无环图上计算距离，提取出变量的分组和结合顺序......
