10.3969/j.issn.1000-3428.2003.22.017
约束逻辑编程中宽数据算术运算算法
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整数限制问题.该文设计并实现了宽数据加法、减法和乘法运算的分解算法,运算分解扩展了现有CLP的功能,使其能适应实际的数据通路设计.实验结果表明方法是有效的.
约束逻辑编程、GNU Prolog、宽数据、运算分解
29
TP301.6(计算技术、计算机技术)
国家自然科学基金6993303
2004-01-09(万方平台首次上网日期,不代表论文的发表时间)
共4页
40-42,50