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

Wide Data Arithmetic Operation Algorithms for Constraint Logic Programming

提出了一种在利用约束逻辑编程生成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.