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

• 作者: 万海 李思昆 李暾 郭阳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 约束逻辑编程 GNU Prolog 宽数据 运算分解
• 年，卷（期）: 2003,（22）
• 所属期刊栏目: 基金项目论文
• 页码范围: 40-42,50
• 页数: 4页
• 分类号: TP301.6
• 字数: 3834字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.22.017

摘要

提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整数限制问题.该文设计并实现了宽数据加法、减法和乘法运算的分解算法,运算分解扩展了现有CLP的功能,使其能适应实际的数据通路设计.实验结果表明方法是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
4	万海	国防科学技术大学计算机学院	2	2	1.0	1.0