片上多核处理器验证：挑战、现状与展望

来源 :计算机辅助设计与图形学学报 | 被引量 : 3次 | 上传用户：h9501oney

【摘要】

：

随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题,系统地总结了片上多核处理器模拟验证、硬件仿真、形式验证、硅后验证等方面的研究进展,并对该领域未来的发展方向进行了分析与展望.

【作者】

：

郭阳李思昆屈婉霞

【机构】

：

国防科学技术大学计算机学院

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2012年12期

【关键词】

：

片上多核处理器模拟验证形式验证片上网络集成电路 on-chip multi-core processor simulation formal verif

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

关于Diophantine方程Sx（n）=Sy（3）

设Sm(n)是第m个n角数,给出了当n-2为平方数时方程Sx(n)=Sy(3)的全部解的通式,并证明了当n-2为非平方数时该方程有无穷多组正整数解.

期刊

多角数DIOPHANTINE方程正整数解polygonal number Diophantine Equation positive integer so

马克思恩格斯文献在日本的典藏与数据化

本文前半部分对日本大学、研究机构保存的马克思恩格斯原始文献的收藏和公开情况进行了介绍,后半部分则主要针对东北大学收藏的马克思藏书《哲学的贫困》及其数字化进行了详

期刊

马克思恩格斯原始文献《哲学的贫困》数字化

Cartogram表示方法研究综述

Cartogram是一种通过简化和变形来突出表现地理对象的某一类或者某几类属性的表示方法,也是近年来地图学表示方法的研究热点,但已有研究较为零碎和分散.文中对Cartogram表示方法的研究现状进行了系统的梳理,首先阐述Cartogram的基本概念、发展和分类;然后按照Cartogram的类别分别详细综述线状Cartogram和面状Cartogram自动生成算法,同时总结Cartogram的评价,

期刊

Cartogram空间信息可视化地图转换空间变形信息传输有效性中图法分类号:P289Cartogram spatial information vis

基于二维浅水方程的溃坝水流数值模拟

针对溃坝水流的特点,提出了一种基于二维浅水方程的数学模型,对溃坝水流进行数值模拟研究.模型采用二阶leap-frog格式和一阶迎风格式相结合的有限差分格式进行数值离散,计算

期刊

二维浅水方程溃坝水流数值模拟有限差分模型验证two-dimensional shallow-water equation dam-break flow

我国IPO高超募与高抑价关系模型研究

基于投资者行为的研究视角，构建IPO超募与抑价关系模型，探讨IPO抑价和IPO超募的传导机理。通过研究表明：IPO抑价UP与散户投资者对新股价值评估正相关，与机构投资者对新股价值评估

期刊

证券市场询价IPO抑价IPO超募

统一校服:共性成长或个性抹杀?

<正>屈指算来,校服的发展距今已有近500年的历史。"校服"一词也源于英语中的"Uniforms",在英语中Uniform分为"uni"(统一、一致)和"form"(形式)两个部分,其本质含义是统一的服

期刊

研讨会校园文化陕西省育人功能学校教育管理

一类流行病模型的最优接种策略

研究一类具有年龄结构的流行病动力系统的最优预防接种问题.借助法锥技巧获得了传染病控制问题的Pontryagin极值原理.

期刊

流行病接种最优控制Pontryagin原理epidemics vaccination optimal control Pontryagin princi

大采高工作面煤柱支承压力实测分析

选用铜弦钻孔应力计对煤柱受采动过程中的应力变化进行观测。分析表明，在工作面推进过程中，靠近工作面侧46m范围内煤柱受到支承压力影响，并且呈凸台形式；52-60m范围内基本不受采

期刊

大采高煤柱分区侧向支承压力钢弦钻孔应力计large mining height coal column partition side abutment

一种有效降低复杂度的2×1D维纳滤波信道估计方法

在应用于正交频分复用(OFDM)系统的信道估计方法中,维纳滤波是一种估计性能较好的算法,但该方法实现时,需估计噪声方差和多普勒频率,并根据估计的这两个关键参量进行实时相关

期刊

正交频分复用信道估计维纳滤波

柏仁粥治疗骨折便秘和化疗便秘患者的疗效观察

目的：观察骨折便秘患者及肿瘤化疗便秘患者食用柏仁粥后的疗效．方法：将30例便秘患者随机分为治疗组和对照组，其中治疗组连续1周每日早餐给予柏仁粥50g（含柏仁7g），对照组每日早餐给予

期刊

柏仁粥骨折化疗便秘Bai Ren gruel bone fracture chemical therapy constipation

片上多核处理器验证：挑战、现状与展望

与本文相关的学术论文