基于SystemC的软/硬件协同验证方法

来源 :第十届计算机工程与工艺全国学术年会 | 被引量 : 0次 | 上传用户:sukeyjuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将介绍基于SystemC语言设计环境的软/硬件协同验证方法.在整个设计验证流程中硬件和软件都使用SystemC语言进行描述,并且针对硬件和软件直接使用有效的SystemC功能描述机制.使用SystemC语言对系统建模的方法与其他现存的方法相比更为快速和灵活.本文将演示协同验证如何在各种抽象层高效的使用.最后给出8051结构的实现案例。
其他文献
为了解柿主栽品种苗期抗旱性能,筛选苗期抗旱性的指标,以生长和管理一致12个品种幼苗为材料,分析其25个指标,对柿品种抗旱性进行综合评价.结果 表明:18个指标在不同品种间均
本文通过对DFT(Design-For-Test)可测性技术的研究,详细介绍了可测试技术的基本概念,以及内部扫描设计、内建自测试(BIST)设计和边界扫描设计的具体实现过程.并给出在ASIC(Ap
对WISHBONE片内总线通讯协议进行简要介绍之后,采用Top-Down设计方法完成了WISHBONE片内总线结构所有控制部件的RTL级硬件建模,并通过逻辑综合、优化得到了门级电路网表.经验
本文背景为龙芯1号处理器为了适应SOC设计的需要,改造为IPCore过程中,在IPcore进行功能验证时候,遇到矩阵测试向量仿真速度很慢,2个256项的矩阵进行加法操作,RTL仿真竟然需要
Network coding,which exploits the broadcast nature of wireless medium,is an effective way to improve network performance in wireless multi-hop networks,but the
本综述通过查阅大量有关瓦氏葛藤方面的文献,结合作者近四十年在相关方面的试验研究,总结出瓦氏葛藤具有生长萌发快、繁殖栽培容易、生产紫胶性能好产量高、种子和枝叶蛋白含
随着SOC芯片设计复杂度的迅速提高和商用IP的大量使用,SOC系统结构设计迫切需要完整的电子系统级(ESL)解决方案.本文比较了目前业界已广泛使用的系统级设计语言SystemC和Syst
罗马尼亚人民共和国第一批集体农场,到目前为止,已建立了三年又三个月了。在这短短的三年多的岁月中,成千成万的贫农和中农深切认识了集体耕作的优越性,而断然摆脱了先前单
蓖麻的花序是与其产量直接相关的性状.为分析蓖麻单雌、标雌、两性系花序不同时期基因组DNA甲基化差异、寻找花序发育相关基因,本试验对4叶期、5叶期、主茎穗期及二级分枝开
植物类钙调磷酸酶B蛋白CBLs (Calcineurin B-like proteins)和CBL互作蛋白激酶CIPKs (CBL-interacting protein kinases)在应答非生物逆境的钙信号系统中起着重要作用.为了研