约束解决算法(CSA)相关论文
为了对微处理器中浮点运算单元FPU（floating-point unit）进行高效的功能验证,对浮点运算的边界情况进行了研究,引入了对中间结果（inte......
随着芯片复杂度的不断上升,当今的微处理器所包含的功能越来越多。浮点数计算在DSP、图形加速、高精度计算这些领域的需求日渐增长......
学位
