约束逻辑编程中宽数据算术运算算法  

Wide Data Arithmetic Operation Algorithms for Constraint Logic Programming

作　　者：万海[1] 李暾[1] 郭阳[1] 李思昆[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机工程》2003年第22期40-42,50,共4页Computer Engineering

基　　金：国家自然科学基金重点项目(6993303)

摘　　要：提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，使其能适应实际的数据通路设计。实验结果表明方法是有效的。This paper proposes a new approach for dealing with wide data in automatic simulating stimuli generation using constraint logic programming (CLP). The approach is used to extend the largest integer limitation of existing CLP solvers.The authors design and implement the decomposition algorithm for wide-data addition, subtraction and multiplication operators, which enhance the capability of existing CLP solvers for realistic datapath designs. Experimental results show that the proposed approach is efficient for realistic designs.

关 键 词：约束逻辑编程 GNU PROLOG 宽数据 运算分解 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]