论文部分内容阅读
针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了 SoC高层等价性检验方法目前面临的挑战,并对该领域今后的研究方向进行了展望.
片上系统高层等价性检验研究进展
【摘 要】
：
针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2016年3期
【基金项目】
：
国家自然科学基金重点项目（61133007）,国家自然科学基金（61272335）.
其他文献
为了提高视频分割的稳定性,提出一种结合支持向量机(SVM)和图割的算法.首先进行预处理,尽可能保持相邻帧背景静止;然后基于均值转移算法进行第1帧分割;再通过上一帧的分割结果采样收集像素的位置和颜色信息作为特征训练SVM,进而对后续帧进行标注;最后以标注的概率作为能量,结合基于图割的视频分割方法得到稳定的分割结果.实验结果表明,与传统图割算法相比,文中算法能得到更加稳定的分块边缘;同时,该算法使用的
基于金融精准扶贫大背景下,利用1988年至2015年安徽省农村经济、金融的相关数据,运用ADF检验、协整检验和Granger检验方法建立VAR模型,通过脉冲响应和方差分解实证分析安徽省
当前绿色建筑已经成为建筑行业发展中的关键主体,建筑行业发展的过程中需要消耗大量的能源,而在寒冷地区,气候特点较为特殊,所以建筑保温隔热对建筑性能有着十分显著的影响。
采用优化试验方法，通过对亚硫酸钠还原法制备超细Cu2O粉末的工艺路线优化，获得了不添加表面活性剂情况下高纯Cu2O制备工艺参数。利用X射线粉末衍射仪（XRD）、扫描电镜等对最优工艺
目的研究一体式膜生物反应器深度净化生活污水试验,提高出水水质.方法提出膜阻力增量和膜比污染物削减量概念,以准确评价膜生物反应器的工艺性能,提高反应器对减少环境污染物