论文部分内容阅读
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整数限制问题.该文设计并实现了宽数据加法、减法和乘法运算的分解算法,运算分解扩展了现有CLP的功能,使其能适应实际的数据通路设计.实验结果表明方法是有效的.
约束逻辑编程中宽数据算术运算算法
【摘 要】
：
提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整数限制问题.该文设计并实现了宽数据加法、减
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2003年22期
【基金项目】
：
国家自然科学基金
其他文献
呼吸系统疾病的传统影像学检查方法主要为X线和CT,但均有一定辐射,在儿童中应用受限。随着近年来超声技术的不断提高,肺部超声在肺部相关疾病的早期诊断、病情评估及预后监测
目的通过调查太原地区2011年10月至2012年6月1454例体检健康成人的血清白蛋白水平（又称清蛋白，albumin,AlB，A），为建立太原地区健康成人血清ALB的参考值范围提供参考依据。方法收集
2006年1月～12月，我们对36例用椎间盘镜治疗腰椎间盘突出患者，实施术前访视、术中护理、术后随访的全程优质护理，效果满意。现报告如下。
本文对旅游市场信息不对称的状况进行了分析,指出旅游市场信息不对称现象已成为制约我国旅游业良性发展的'瓶颈',直接侵害了旅游消费者的基本权益,并提出了相关建议
针对基于MIPS系列处理器内核的高清电视解码SoC，构建了一个软硬件协同仿真环境。连接MIPS处理器内核的VMC模型和SoC的RTL模型，利用VMC模型支持MIPS指令集的特性运行测试汇编程
行为与环境是相互作用的关系,人作为城市空间的主体,人的相互作用和交往是城市存在的基本依据。城市空间的利用频率及人利用空间的方式直接反映了空间设计的成功与否,因此环
讨论了网络协议Ipv4的缺点和新一代网络协议IPv6的优势，认为IPv6解决了IP地址匮乏的问题，同时，简化了协议报头，引入了两个新的扩展报头AH和ESP。帮助IPv4解决了身份认证、数据完