形式化验证在处理器浮点运算单元中的应用
随着芯片复杂度的急剧增加,模拟仿真验证不能保证测试向量的完备性,尤其是一些边界情况。形式验证方法因其完整的状态空间遍历性和良好的完备性,被业界应用于设计规模不大的模块和子单元中。针对处理器浮点运算单元,采用Cadence公司JasperGold工具对一些关键模块进行了形式化验证,对流水控制中的纠错码(Error Correcting Code,ECC)、软件结构寄存器(Software Architected Register,SAR)和计算单元中的公共模块分别采用了基于FPV(Formal Property Verification)的性质检验和基于SEC(Sequential Equiva
用户评论
推荐下载
-
DSP中浮点转定点运算浮点与定点概述
本文主要介绍DSP中浮点与定点概述,很值得学习一下,需要的朋友可以参考一下。
27 2020-09-03 -
Java中精确的浮点运算操作示例
主要介绍了Java中精确的浮点运算操作方法,结合具体实例形式分析了java浮点数运算的相关函数、使用技巧与注意事项,需要的朋友可以参考下
21 2020-09-03 -
浅析js中的浮点型运算问题
本篇文章主要是对js中浮点型运算的问题进行了介绍,需要的朋友可以过来参考下,希望对大家有所帮助
16 2020-11-26 -
DSP中浮点转定点运算–浮点数的存储格式
二:浮点数的存储格式 2.1 IEEE floating point standard 上面我们说了,浮点数的小数点是不固定的,如果每个人都按照自己的爱好存储在电脑里,那不就乱套了吗?那么怎么在计
24 2020-12-31 -
DSP中浮点转定点运算浮点数的存储格式
本文主要介绍DSP中浮点数的存储格式,很值得学习一下,需要的朋友可以参考一下。
17 2020-09-03 -
图像处理中邻域运算及其在边缘提取等的应用
详细讲解数字图像处理中的邻域运算及其广泛应用。
9 2020-08-09 -
通信与网络中的VINETIC语音处理器在VoIP解决方案中的应用
在提供低成本电话服务的竞争性电信运营商(CLEC)的推动下,IP语音技术(Voice over IP,简称VoIP)已经做好了大规模部署的准备,并集成到了老牌电信运营商(ILEC)网络中。但是,一直以
17 2020-12-17 -
模拟技术中的VINETIC语音处理器在VoIP解决方案中的应用图
在提供低成本电话服务的竞争性电信运营商(CLEC)的推动下,IP语音技术(Voice over IP,简称VoIP)已经做好了大规模部署的准备,并集成到了老牌电信运营商(ILEC)网络中。 但是,
7 2020-12-16 -
FPGA处理器在数字光端机系统中的应用
由于数字技术与传统的模拟技术相比在很多方面都具有明显的优势,所以正如数字技术在许多领域取代了模拟技术一样,光端机的数字化也是一种必然趋势。目前,数字视频光端机主要有两种技术方式:一种是MPEG II图
12 2020-10-27 -
嵌入式Linux在Blackfin处理器上的应用
嵌入式操作系统是当今最热门的研究课题,本文详细介绍了怎样在Blackfin中嵌入Uclinux以及如何加入自己的应用程序,该系统已广泛应用到我们开发的项目中。
7 2020-08-21
暂无评论