论文研究基于PLI的浮点运算单元验证方法研究 .pdf

介绍自主设计的龙腾C2微处理器中浮点运算单元的设计与实现。该处理器与Intel80486DX4指令系统兼容，支持IEEE754标准扩展精度的浮点基本函数和超越函数运算。介绍了浮点运算单元的结构，分析了

Verilog写的浮点运算单元。

本文重点介绍如何搭建一种分层次的验证模型,以及如何使用这套验证模型进行仿真。

浮点运算错误计算原因，赵世忠，，%有效位数计算模式与%以及十进制数与二进制数之间的%表示误差。计算机不时会出现错误计算。然而,究其原因,普遍认为,表示误差是导�

论文研究-基于权重集合的决策单元排序方法.pdf,  针对传统数据包络分析的排序主要是基于决策单元的自评效率,决策单元使用的是对自身最有利的权重而使效率不具有可比性,提出一种新的决策单元排序方法.该方

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题，提出了利用Petri网进行概念模型验证的一种新思路，研究了进行概念模型验证的具体步骤，分析了概念模型错误对应的P

浮点运算方法和浮点运算器。主要介绍浮点运算的方法和流程以及浮点运算器。

针对基于轮廓线拼接重建物体表面所出现的轮廓对应和分叉问题，提出了一种通过体数据转换由轮廓线实现重建物体表面的方法。在分析体数据构造中出现逼近精度问题的前提下，通过提高轮廓线上点的密度，生成精确度较高的

超长整数的运算是现代密码系统的应用基础，运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性，利用原型验证工具PVS对算法的正确性进行了证明。在介绍了超长整数的加法和

基于定点的补码的加减乘除,基于浮点的原码的加减乘除,比较费脑力哈,有兴趣的不妨来试试,相信对于提高你自身的数字电路计算能力有着很大的帮助的