论文部分内容阅读
功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。
基于事务的功能验证方法
【摘 要】
：
功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可
【机 构】
：
杭州电子科技大学微电子CAD研究所
【出 处】
：
现代电子技术
【发表日期】
：
2008年6期
其他文献
采用Monte Carlo方法模拟了一维指数型导体粗糙面,运用矩量法研究了一维指数型导体粗糙面与其上方矩形截面柱的复合电磁散射。通过数值计算得到了复合散射系数随散射角和入射
智能电网是一个能够实现对用户和设备进行实时监视的完整体系，是利用各种信息提高电网的可靠性、经济性和灵活性，为电网运行和管理人员提供更完整、便捷的电网状态显示界面，帮助
OFDM同步技术是OFDM系统中的关键技术。针对OFDM系统面对的大范围频偏问题，提出了一种新的基于单个训练符号进行OFDM同步的算法，构造了新的训练序列以及新的频偏估计函数，该算法
提出一种低功耗的运动估计硬件结构。该结构在并行GEA结构的基础上,对关键的绝对差和模块应用了差错复原机制,以对抗在工艺参数波动和（或）工作电压超比例缩小（VOS）时可能产生的逻
在逐次截尾样本下，研究电子元件混联系统可靠性指标的估计问题。将Bayes方法和极大似然法相结合，在平方损失下，获得部件失效率、系统可靠度和平均寿命的经验Bayes估计。最后给出
以二阶、三阶基函数为例，应用高阶有限元-边界积分法分析了二维散射体电磁散射特性。计算了几种二维方柱（导体和介质）的雷达散射截面，结果与矩量法一致，对三种数值结果进行了误差
主要阐述了正交ADC变换的架构原理及其实现方法，具体包括总体结构、设计方法、LO泄漏抑制等，同时进行了低通滤波器的设计，提出了基于控制IBIAS和优化RLC滤波电路来实现抑制本振