数字专用集成电路设计中的SystemC建模验证方法

来源 :武汉大学学报:理学版 | 被引量 : 0次 | 上传用户:boypoe
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对当前数字专用集成电路设计中的验证瓶颈,提出了一种基于SystemC电路行为建模与测试控制技术的专用集成电路验证方法,并应用到网络调度芯片的具体验证实验中.实验数据表明:由于采用软件建模与控制技术,该方法在缩短验证周期、提高验证可靠性、精确判断验证程度以及有效集成各类验证环境等方面均明显优于传统RTL验证方法.
其他文献
在土壤压实胁迫条件下,研究丛枝菌根真菌(arbuscular mycorrhizal fungi,AMF)对高羊茅(Festuca arundinacea)生理的影响。结果表明:4种土壤压实梯度下,与未接种对照相比,接种AMF处
哈尔滨市南岗区是黑龙江省首批课改实验区。通过一年多的教学实践,笔者在美术课改工作中有以下几点体会:
为了能使中高年级学生熟练地掌握形容“说话”的各种形容词或副词,并把这些词应用于作文教学,巩固语文知识,我设计了“戴帽”游戏。“戴帽”游戏含义:“帽”代表形容说话不同
期刊
本研究以天山北坡蒿类荒漠为研究对象,采用野外调查取样的方法,探讨不同区域荒漠围栏内外群落特征和物种多样性对禁牧的响应规律,分析禁牧对生态系统稳定性的影响。结果表明,
新课改实施一年多来,我区中小学教师、学生以及课堂教学都发生了明显变化。随着这些变化我们发现,教师在对待学生学习方式的改变及课堂上三维教学目标的处理上比较困惑,并产生一
当旭日从东方冉冉升起时,坐落在美丽富饶的乌苏受江畔的饶河农场小学便沸腾起来,她张开双臂迎接着全校800多名学生、90名教职员工,26000平方米的土地上充满了欢声笑语,充满着
期刊
提出了一种计算缓存区大小的改进方案.根据RTCP包中反馈回的丢包率,动态地改变音频数据的发送策略,有区分地采取差错控制手段,提高了网络带宽的利用率.在此基础上,设计了一个以RTP
利用榆中县1971—2012年的日平均气温,采用线性倾向率法、累积距平法、Mann-Kendall法和小波分析等方法,对榆中县42年来的温度变化和突变现象进行了研究。结果表明,近42年来,榆中
详细分析了"聚焦法”测量天线阵列方向图的理论依据和测量原理,提出利用"聚焦法”测量OSMAR2000天线阵列方向图的技术方案.理论计算和实测结果表明文中设计方案是可行性的.
针对应用于军事通信的短波差分跳频系统中存存敌意多音干扰的问题,建立了系统的多音干扰模型,采用一种联合一切尔诺大限的方法,从理论上导出了该系统(无编码)在加性高斯白噪声信道