【摘 要】
：
随着科学计算和人工智能算法复杂度的增加,作为硬件设计中的控制中心,指令流控部件的设计面临复杂性和精确性急剧提升的挑战。FT-xDSP是国防科技大学自主研发的一款64位GPDSP
【基金项目】
：
国家重点研发计划(2018YFB0204301)。
论文部分内容阅读
随着科学计算和人工智能算法复杂度的增加,作为硬件设计中的控制中心,指令流控部件的设计面临复杂性和精确性急剧提升的挑战。FT-xDSP是国防科技大学自主研发的一款64位GPDSP处理器,其指令流控部件的设计规模和复杂性大幅增加,使得指令流控部件的验证成为一个突出难题。提出一种基于指令重排参考模型的指令流控自动化验证方法:首先,以指令输入输出关系为主要特征建立流控部件的抽象模型,屏蔽了内部复杂逻辑,在保证分析结果准确性的基础上降低了分析复杂度;其次,通过自动生成带约束的随机测试激励,对参考模型和待测设计结果进
其他文献
“非典”不仅挑战人们的生命健康,而且也提出了相关的法律问题.回顾“非典”爆发、流行及控制的过程可以发现,“群防群控、联防联控”是控制“非典”的有效经验和做法,但也暴
欧洲的战争常常会倒逼官僚体制革命,官僚不得不拿出更多权力与社会分享,这其中就包括经济利益。某种意义上,现代市场经济体系的形成,也是权力机构放权的结果。虽然中国历史上
随着科学工程计算大规模、高维数和长时程的特性越来越显著,浮点舍入误差的累积效应往往使得计算结果不可信,提高计算精度成为了并行计算领域研究的热点之一。基于MPICH3框架
一场突如其来的“非典”流行席卷了大半个中国,给人民的生命健康带来了威胁,给我国社会、经济和人们的心理、行为和社会生活带来了很大的影响.有些影响在短期内会很严重,有些
性能验证及评估是通用处理器设计实现过程中最重要且必须实施的关键步骤之一。高效的通用处理器原型系统性能评估方法不仅可以帮助处理器设计人员在处理器设计阶段尽早地定位
由于边缘设备的计算能力有限,处理高分辨率、高帧率的视频时极易造成帧堆积。同时,视频参数的多样性也会影响视频处理的效果,需要自适应调整系统参数以保证视频处理性能。针对视频处理的帧堆积问题提出了在帧接收和帧处理间加入缓冲区即帧缓冲队列的方法,来并行处理缓冲帧,以解决帧接收时延问题,加速视频处理。实验结果表明,帧缓冲队列解决了边缘视频处理系统丢帧问题,满足帧实时处理的同时,降低了系统功耗,提高了实时处理
在全党深入开展学习实践科学发展观活动,是党的十七大作出的一项重大战略部署,是当前全党全国的一项重大政治任务.胡锦涛总书记在全党深入学习实践科学发展观活动动员大会上