冯春阳
- 作品数：4 被引量：3H指数：1
- 供职机构：西安微电子技术研究所更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：电子电信更多>>
- 随机法和Hensel Lifting联合的浮点乘测试用例生成方法被引量：1
- 2014年
- 针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法可使浮点乘检错率随浮点数位宽的增加而提升,最高增幅可达9.77%,比随机法检错率平均提高15.98%,比典型浮点测试工具集检错率平均提高1.9%.
- 冯春阳杨靓黄士坦
- 关键词：仿真验证LIFTING
- 一种面向64位DSP处理器的可重构ALU研究及设计被引量：2
- 2015年
- 研究并实现了一种面向64位DSP处理器的可重构ALU,该ALU由4×4阵列的计算单元通过交叉开关互联构成,并支持32/64位定点数基本类型计算和可重构类型计算,32/40/64位浮点数基本类型计算和可重构类型计算.设计中采用复用64定点乘法器、64位左移/右移移位器等电路资源、统一定/浮点译码及计算模型等方法有效地降低了电路资源和设计复杂度.利用型号为xc6vsx315t-1ff1759的FPGA进行综合实现时,可重构ALU占用硬件资源为15 347个LUTs,时钟频率达到100 MHz.
- 高向强冯春阳闫鑫杨靓曹辉
- 关键词：DSP处理器可重构计算ALU
- 一种面向多核DSP芯片的低功耗验证方法
- 2015年
- 随着芯片设计进入纳米时代,芯片的规模和工作频率不断提高,尤其在工艺发展到65nm及以下时,芯片的功耗已经成为继面积和性能之后的主要影响因素之一.面对低功耗设计技术要求的不断增加,对面向低功耗设计的仿真验证也提出了更高的要求.对此全面系统地介绍了低功耗设计的相关背景、原理和不同层次的优化技术,通过对一款多核DSP芯片的低功耗验证,针对低功耗设计的各种策略,构建了基于SystemVerilog的仿真验证环境,实现了一种高效可行的低功耗仿真验证方法.
- 孙健时鹏飞冯春阳蒙玲张辉
- 关键词：多核DSP低功耗仿真验证
- 基于Hensel引理的规格化边界角浮点乘测试用例生成模型
- 2014年
- 针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
- 冯春阳闫鑫杨靓黄士坦
- 关键词：仿真验证
