国家自然科学基金(61133007)
- 作品数：15 被引量：24H指数：3
- 相关作者：李思昆郭阳屈婉霞张龙刘畅更多>>
- 相关机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信建筑科学更多>>
- 基于覆盖率驱动的高性能DSP指令集验证方法被引量：4
- 2014年
- 针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对"银河飞腾"高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高90%以上,交叉覆盖率提高75%以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期。
- 刘畅郭阳
- 关键词：面向对象编程
- 浮点定点转化指令的微流水线实现
- 浮点部件是微处理器的重要组成部分,浮点定点转化指令归属于浮点指令集,用于浮点数和定点数之间的转化,包含浮化整和整化浮两类指令。本文以IA-64指令集的浮点定点转化指令的定义和描述为基础,介绍浮点部件内部针对该类指令的一种...
- 刘功杰刘蓬侠
- 关键词：浮点部件
- 文献传递
- 多核数据导航器的设计与验证
- 随着片上网络数据交互的性能要求日益提升，传统的DMA数据传输方式较为单一，而且受到总线控制权的限制，不能实时对数据传送进行有效的监控和派发。多核数据导航器的设计实现可以增强数据传输的灵活性，并提供独立的数据包传输机制和数...
- 李泽润
- 关键词：片上网络电路设计数据传输
- 文献传递
- 面向硅后验证的平台设计与测试激励生成技术
- 微处理器设计规模和复杂度的增加,传统的硅前验证难以发现所有的错误,需要在硅后验证阶段发现和定位问题.针对硅后验证中测试激励生成复杂、速度慢、冗余度高等问题,本文在"银河飞腾"DSP开发板的基础上,提出...
- 刘畅郭阳
- 关键词：微处理器
- 基于稀疏回归深度神经网络的单通道语音增强
- 2017年
- 语音增强可以改进语音质量,抑制、降低噪声干扰,提高信噪比,在手机等语音通信设备中广泛应用。近年来,由于深度神经网络学习的语音增强技术,可有效克服传统神经网络语音消噪算法易陷于局部最优的不足,取得更好的语音消噪效果,成为语音增强技术领域的研究热点。本文针对已有深度神经网络模型泛化能力较弱、存储开销较大等问题,研究提出一种基于稀疏回归深度神经网络的语音增强算法。该算法通过在预训练阶段引入丢弃法(Dropout)和稀疏约束正则化技术改进训练模型保持预训练和调优阶段模型结构一致性,提升模型泛化能力。通过权值共享和权值量化进行网络压缩,降低存储开销。用谱减法进行后处理,有效去除稳态噪声,提高语音质量。仿真实验结果表明,改进算法可达到较高的语音性能评价指标,取得较好的语音增强效果,可满足语音增强处理要求。
- 孙海霞李思昆
- 关键词：语音增强正则化技术谱减法
- 基于事务数据流的可重构SoC性能分析方法研究与实现
- 2015年
- 粗粒度可重构体系结构由于其配置速度快、计算加速比高、适应性好、低功耗特性等优点已成为高性能可重构SoC协处理器的重要解决方案。可重构SoC的性能分析,普遍使用传统的寄存器传输级代码仿真分析方法,存在使用不方便、分析效率较低等不足之处。本文提出一种基于事务数据流图的可重构SoC性能分析方法,该方法结合应用程序数据流图与体系结构特征,构建可重构协处理器的事务数据流图并标注图节点功能属性相应的硬件性能参数;然后采用基于层次搜索的广度优先性能搜索算法,通过分析类树形结构的事务数据流图,得到可重构协处理器运行应用程序的性能分析结果。实验表明所提出的方法可以较为准确高效的分析可重构SoC体系结构应用计算性能,有助于可重构SoC早期体系结构设计和设计空间探索。
- 胡敏慧李思昆王观武杜孔飞
- 关键词：搜索算法
- 无穷状态系统安全性验证方法研究
- 随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提出更加高效地利用了硬件资源，同时也给并行程序设计提出了更高的挑战。多核多线程技术的结...
- 张龙
- 关键词：多线程程序PETRI网
- 无穷状态系统可覆盖性分析算法
- 2018年
- 针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先将良序结构迁移系统划分为不同权值限定下的一系列有限状态机模型;然后采用最新的模型检验技术增量式地计算不同权值下模型的可达状态空间上逼近,得到可覆盖的反例路径或证明该系统不可覆盖.实验结果表明,该算法在同等计算时间限制下能够解决更多的测试样例;在1 GB内存限制下,可以解决97.2%的测试样例,超过同类算法的2倍.
- 张龙屈婉霞郭阳李思昆
- 关键词：PETRI网
- 片上系统高层等价性检验研究进展被引量：1
- 2016年
- 针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并对该领域今后的研究方向进行了展望.
- 胡健李暾李思昆
- 关键词：等价性检验形式化方法
- 多核处理器事务级模型多视图协同验证环境
- 2014年
- 随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段。提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境。从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务。基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE。初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势。
- 王俊刘磊张龙李思昆
- 关键词：多核处理器多视图
