利用断言和剖视技术验证硬件模型

来源 :2002年全国电子测控工程学术年会 | 被引量 : 0次 | 上传用户:wjc_0758
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路规模的增长,工艺能力和设计产率的矛盾越来越突出.设计验证成为提高设计产率的限制因素.本文在利用SystemC建立专用集成电路模型的过程中,提出使用断言和代码剖析改善功能验证的方法,并且实现了SystemC的内嵌式检查代码库, SystemC电路模型的设计中进行了验证,证明该方法简单有效性.
其他文献
MAX115是高速12位8通道同步采集AD转换芯片,在介绍了其基本特性之后,给出了一种MAX115与8位单片机89C51的硬件接口设计及软件设计,该设计已经成功地应用在直流电动机测试系统
本文介绍由"时间-采样值二维空间"向"帧-水平-垂直三维空间"映射的工作体制和实现方法,按照这样的工作体制实现持续高速采样信号在相对低速LCD上的实时显示,显示中不丢失采样
会议
目的 探讨骨科术后深静脉血栓形成患者的有效护理.方法 回顾性分析17例骨科术后深静脉血栓患者的临床资料和护理方法.结果 经过综合治疗与规范护理后,15例患者临床症状好转,
在精密时间间隔测量中,时间内插是提高时间分辨率的主要方法之一.利用时间内插技术,时间分辨率可小于参考时钟周期.时间内插的方法很多,国内外对时间内插技术的研究也颇为广
会议
本文主要讨论了应用kalman滤波理论对数字微分信号降噪处理的可行性和有效性.首先设计了一种计算数字微分的算法,并通过仿真验证了所设计的数字微分算法的有效性,然后运用kal
会议
目的 探究重症胰腺炎的内科护理方法和进展,通过其临床护理来总结其风险,尽量做到风险控制,能提高临床护理的水平.方法 对我院2012年12月~2014年7月所收治的23例重症胰腺炎患
本文介绍了晶闸管控制电抗器(TCR)的特性与基本工作原理,并对其I=f(α)的函数关系式进行了评尽的分析,为更好地研究其应用奠定了理论基础.
本文以数字存储示波器中数字模拟混合系统为实例,提出了在包含高速数据采集的混合系统中噪声抑制的多种方法.文中介绍了高速电路地系统的布线规则,系统布局设计的规则,以及电
目的 对TACE(肝癌肝动脉化疗栓塞术)术后的护理进行讨论,为今后的临床护理提供参考.方法 选择2010年1月~2012年5月在我院行TACE术治疗肝病的患者160例为研究对象,随机分为两组
目的 探讨妊娠合并心力衰竭患者行剖宫产的围手术期护理方法.方法 选取我院2013年3月~2014年3月收治的104例妊娠合并心力衰竭患者,选用全程护理模式对患者进行围手术期护理,并