论文部分内容阅读
覆盖率数据是验证工程师判定SoC验证完备程度的定性度量，为SoC验证完全性提供了保障，指明了方向．文中以SoC总线仲裁器验证为例，对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析，然后根据覆盖率分析结果反馈到RTL设计代码和测试激励进行修正，直到验证的完整性满足设计的要求．
基于覆盖率驱动的SoC验证技术研究
【摘 要】
：
覆盖率数据是验证工程师判定SoC验证完备程度的定性度量，为SoC验证完全性提供了保障，指明了方向．文中以SoC总线仲裁器验证为例，对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆
【机 构】
：
中国科学院微电子研究所,北京大学
【出 处】
：
微电子学与计算机
【发表日期】
：
2011年11期
其他文献
采用SMIC0．18μm工艺设计并验证了一种新型可编程锁相环锁定检测器．锁定检测器使用了新型脉宽检测电路将可编程脉宽检测门限与鉴相器输出相位差脉冲的宽度进行对比，并以此做出锁
针对Virtex-4型FPGA中可编程逻辑块故障检测的需求,提出了一种基于JTAG的内建自测试方法,并基于DEV＋＋平台自行开发了基于并口的专用边界扫描测试软件.该方法可以比较可靠的检测
本试验采用我校自行研制的马铃薯专用全价肥,一次性基施,供马铃薯全生育期的营养需要。经春、秋二季试验表明,这种肥料对提高马铃薯的产量和品质有明显的效果,还有改善土壤物
分析了图像非均匀性产生机理，建立了成像仪每个像元通道光电响应的数学模型，提出了非均匀性的多点线性拟合校正算法，对比了校正前后的图像及标准差。结果表明，非均匀性校正方法适
介绍了钢管超声波连续检测系统的硬件组成和计算机检测软件。此系统采用多通道超声波探头，能对钢管各处的壁厚进行高速、连续地探测；其计算机检测软件可以多图形地显示壁厚曲线
近年来,我国经济不断发展,农村贫困人口的数量也随之减少。然而,在经济快速发展的同时,农村居民的收入差距也越来越大,使得经济增长对减少农村贫困人口的作用变弱。本文对经
当前,中国经济正处于一个关键的历史时期,转变经济发展方式是我国经济长远发展的必然要求。而不同的历史时期和不同社会制度下的经济转型,土地制度的变革或调整都发挥着重大
三星近日推出的最新一代3D显示产品TA750采用了比一般产品更窄的超窄边框设计，因此看起来更加时尚。透明亚克力材质的加入，让产品的奢华品味得到了升级，此外显示器还采用了一个
文中提出了一种基于双阈值非线性导数算子的边缘检测方法.首先计算灰度图像的左右导数,然后通过设置双阈值对左右导数进行调整以保留有意义的边缘信息,最后合并左右导数得到图像梯度.阈值能控制平滑噪声能力,阈值能确保检测出单像素宽度的线边缘,而非线性导数计划可解决定位错位性的问题.实验结果表明,同传统的离散梯度算子相比,此算子不仅计算简单灵活,检测精度高,而且在没有平滑图像噪声的情况下得到了良好的边缘图像和
针对岩石破裂声发射检测中的常规检测仪器抗电磁干扰差、灵敏度低、可靠性差等不足,提出采用光纤光栅传感技术来实现声发射检测,分析了光纤光栅传感检测应变和声发射的机理,