论文部分内容阅读
功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。
基于事务的功能验证方法
【摘 要】
：
功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可
【机 构】
：
杭州电子科技大学微电子CAD研究所
【出 处】
：
现代电子技术
【发表日期】
：
2008年6期
其他文献
采用Monte Carlo方法模拟了一维指数型导体粗糙面,运用矩量法研究了一维指数型导体粗糙面与其上方矩形截面柱的复合电磁散射。通过数值计算得到了复合散射系数随散射角和入射
设计一种采用电流模式和Buck’s电压转移单元对VBE进行高阶补偿的带隙基准电压源。电路采用CSMC0．5μm DPTM CMOS工艺制造。温度在-40～125℃之间变化时，基准电压源的温度系数为3
智能电网是一个能够实现对用户和设备进行实时监视的完整体系，是利用各种信息提高电网的可靠性、经济性和灵活性，为电网运行和管理人员提供更完整、便捷的电网状态显示界面，帮助
OFDM同步技术是OFDM系统中的关键技术。针对OFDM系统面对的大范围频偏问题，提出了一种新的基于单个训练符号进行OFDM同步的算法，构造了新的训练序列以及新的频偏估计函数，该算法
提出一种低功耗的运动估计硬件结构。该结构在并行GEA结构的基础上,对关键的绝对差和模块应用了差错复原机制,以对抗在工艺参数波动和（或）工作电压超比例缩小（VOS）时可能产生的逻
在逐次截尾样本下，研究电子元件混联系统可靠性指标的估计问题。将Bayes方法和极大似然法相结合，在平方损失下，获得部件失效率、系统可靠度和平均寿命的经验Bayes估计。最后给出
通过增加天线、接收通道等,能使SAR在成像的同时完成运动目标检测,并将其重新定位在SAR图像上(SAR-GMTI)。作为对SAR功能的一个增强,SAR-GMTI在许多领域特别是在民用交通流量调查方面具有很好的应用价值。利用实测数据对沿航向干涉(ATI)方法进行研究,对M.Soumekh提出的信号子空间方法进行改进,提出了一种在多点消一点之前先进行相位补偿的杂波抑制方法,并给出实测数据的处理结果和分
以二阶、三阶基函数为例，应用高阶有限元-边界积分法分析了二维散射体电磁散射特性。计算了几种二维方柱（导体和介质）的雷达散射截面，结果与矩量法一致，对三种数值结果进行了误差
主要阐述了正交ADC变换的架构原理及其实现方法，具体包括总体结构、设计方法、LO泄漏抑制等，同时进行了低通滤波器的设计，提出了基于控制IBIAS和优化RLC滤波电路来实现抑制本振
提出一种采用跨导运算放大器MO—OTAS与电流传送器CCCII相结合构成的电流模式多功能滤波器，该电路由一个CCCII器件、二个MO—OTAS和三个接地电容所组成。在输入端加入信号并将