基于固件的系统芯片协同验证平台

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

【摘要】

：

使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台——FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系统模块,通过运行真实工作负载,对比FPGA中待测硬件设计和FCVP模拟参考模型

【作者】

：

李皓李险峰庞九凤黄侃郑衍松佟冬程旭

【机构】

：

北京大学微处理器研究开发中心,北京大学深圳研究生院

【出处】

：

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

【发表日期】

：

2011年09期

【关键词】

：

协同验证系统芯片固件全系统模拟器硬件设计错误基于平台的设计 co-verification system-on-chip firmware fu

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

色谱龙

期刊

醋酸环丙孕酮抗雄激素制剂前列腺癌

氢化可的松-羟丙基-β-环糊精包合物制备工艺的研究

目的:制备氢化可的松-羟丙基-β-环糊精包合物(HC-HP-β-CD),并初步考察其溶解性.方法:采用超声法制备HC-HP-β-CD,并利用正交实验设计筛选出包合物制备的最佳工艺,测定了包

期刊

氢化可的松羟丙基-Β-环糊精包合物制备工艺hydrocortisone hydroxypropyl-β-cyclodextrin (HP-β-CD)

侗族油茶饮食文化的产品服务系统设计

目的以侗族油茶的饮食文化为切入点,以乡村振兴背景下的文化旅游发展为目标,探索针对特色饮食文化资源的产品服务系统设计的方法。方法将饮食文化作为乡村文化资源的代表,基

期刊

设计参与侗族油茶文化旅游产品服务系统幸福感design participationDong minority’s Oil-teacultural

任意图的同构判定算法：特征向量法

在构建有效描述任意图邻接矩阵的基础上，分别计算2个矩阵的特征值所对应的特征向量，并依据它们的极大无关组寻找可能的同构对应关系．通过逐一考查全体特征值，实现图同构的判定并

期刊

任意图同构邻接矩阵特征向量arbitrary graphs isomorphism adjacency matrix eigenvector

新亚欧大陆桥运行不畅的原因及对策探讨

从理论上看,新亚欧大陆桥在地理位置、潜在市场驱动、物流运输等方面相对西伯利亚大陆桥都有着极强的竞争力。但自开通以来,却存在着通道拥堵、返空箱率高、竞争力弱等各种问

期刊

新亚欧大陆桥优势运转不畅原因对策

乳康舒胶囊中活性物质的测定

目的:研究乳康舒胶囊中活性物质淫羊藿苷、芍药苷及原儿茶醛的测定.方法:采用薄层色谱法对该复方中的淫羊藿、白芍、丹参药材进行色谱鉴别,HPLC法测定乳康舒胶囊中淫羊藿苷和

期刊

乳康舒胶囊淫羊藿苷芍药苷原儿茶醛Rukangshu capsule icariin paeoniflorin protocatechualdehy

组合逻辑中瞬时错误传播的频域分析方法

提出一种新颖的频率分析方法来计算瞬时错误在组合逻辑电路中的传播.通过对输入信号进行傅里叶变换,分析组合逻辑电路的频率特性,并通过频域计算方法得到组合逻辑电路的输出.为了解决组合逻辑电路有时会工作在信号非线性区的问题,提出一种数学模型来精确描述瞬时错误在组合逻辑电路中传播过程.实验结果表明,该方法能保证在93%的平均精确度(和HSPICE相比)前提下,大幅提高评估速度.

期刊

傅里叶变换HSPICE线性系统非线性系统Fourier transfer HSPICE linear system nonlinear syste

考虑重叠度和线长的单元密度平滑方法

针对目前力指向布局中单元移动式的密度平滑方法存在对优化结果破坏较大、收敛速度较慢的缺点,提出一种考虑重叠度和线长的密度平滑方法(DSAW).该方法结合局部和全局的密度分布来确定单元移动距离,使单元移动中尽量减少对线长的破坏;同时对面积大的单元进行了离散化处理,通过矢量求和来确定大单元的移动距离,减少计算误差.将DSAW嵌入到使用基于扩散的密度平滑方法(DPlace)布局器中的实验结果表明,与DPl

期刊

VLSI力指向布局混合单元密度平滑VLSI force-directed placement mixed-size cell density s

氯诺昔康联合丙泊酚在肠镜检查中的应用

目的:观察氯诺昔康与丙泊酚联合应用于纤维肠镜检查时,对丙泊酚用量,苏醒时间及醒后肠痉挛痛影响.方法:100例纤维结肠检查患者,随机分成单纯丙泊酚组(P组)50例,氯诺昔康联合

期刊

氯诺昔康丙泊酚肠内窥镜lornoxicampropofolintestinal endoscopy

反相离子对高效液相色谱法测定硫酸羟氯喹片的含量

目的：建立硫酸羟氯喹片含量测定的反相离子对高效液相色谱法。方法：以ODS为固定相，0.05mol·L^-1磷酸二氢钾（含1．5％三乙胺）－0.005mol·L^-1庚烷磺酸钠甲醇溶液（1：1．2，混合后用磷

期刊

反相离子高效液相色谱法硫酸羟氯喹含量测定RPIPHPLChydroxychloroquine sulfateassay

基于固件的系统芯片协同验证平台

其他学术论文