论文部分内容阅读
评《提高SoC硬件系统验证效率方法的综述》在当前的SoC设计中，复杂的系统结构和50亿只晶体管的集成规模使得验证成为最关键也是最耗时的环节，占整个设计周期的比重高达70％。有效验证问题已成为SoC设计的一个重要主题，国内外学者和研究人员针对该问题展开了广泛的研究。
专栏评述
【摘 要】
：
评《提高SoC硬件系统验证效率方法的综述》在当前的SoC设计中，复杂的系统结构和50亿只晶体管的集成规模使得验证成为最关键也是最耗时的环节，占整个设计周期的比重高达70％。有效
【出 处】
：
电子科技大学学报
【发表日期】
：
2013年2期
其他文献
<正> 1980年10月《世界建筑》创刊时笔者曾以'能源节约与建筑设计'为题简述了国外建筑节能状况与趋势。十年过去了,我们看到建筑节能已经在更多的国家受到重视,能源
[摘 要] 贯彻习近平总书记在全国高校思想政治工作精神，落实立德树人根本任务，是当前高校人才培养的重要任务。北京交通大学电子信息工程学院按照全国高校思想政治工作会议精神和学校课程思政建设工作要求，加强课堂管理，挖掘各门课程蕴含的思想政治教育元素和承载的马克思主义理论教育功能，取得了一系列成果。 [关键词] 电子信息;课程思政;探索 [作者简介] 刘宾生，北京交通大学电子信息工程学院教师。 [
目的观察活髓牙漂白术前应用氟化物是否能降低牙齿敏感性,以及其对过氧化氢(HP)类漂白剂的漂白效果有无不良影响。方法将2012年7月至2014年7月在北京军区北戴河疗养院口腔科
在教育信息化2.0的计划背景下,以本校飞机结构专业的课程“飞机结构修理实训”为研究对象,展开了信息化课程设计和建设,并进行有效的课堂教学改革,尝试通过信息化课程改革提
在常微分方程课程教学中,常系数线性微分方程组可以通过线性代数的理论、矩阵指数、拉普拉斯变换等方法进行求解.本文主要叙述利用Matlab数学软件在求解常系数线性微分方程组
2000年12月井内洁先生第一次到南京访问时，听市博物馆的顾苏宁先生（笔者大学同学）说我正在日本京都大学留学，有关六朝的问题可以就便向我咨询。不久后便收到井内先生的来信。2001
该文是2013年在杭州师范大学组织下所召开的复杂网络研讨会基础上的总结和拓展，包含了与会多名学者共同讨论修订后所认可的目前复杂网络研究面临的最主要的10个挑战，这些挑战既
从全球范围来看,节能设计在现代建筑中应用已越来越广泛,这主要是因为人们对室内环境舒适度的要求正在不断升高,建筑能耗不断增加所导致的环境污染也让人们不得不认真考虑环
中国中元国际工程有限公司是世界500强中央直属中国机机械企业集团公司核心企业，与机械工业规划研究院联合重组的集工程咨询、工程设计、工程总承包、项目管理为一体的工程公
“泵与泵站”是应用型本科院校给排水专业的基础课程,该课程的基本理论知识对学生理解给排水行业的实质有较大影响。BIM技术作为培养应用型创新人才的新技术,在工程建设的整