【摘 要】
：
随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈。验证方法已经从简单的采用基于HDL任务的方法发展到了一种完整的验证自动化系统。首先研究E语言以面向
论文部分内容阅读
随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈。验证方法已经从简单的采用基于HDL任务的方法发展到了一种完整的验证自动化系统。首先研究E语言以面向对象和面向方面的方式,建立这种验证自动化系统所有结构的原理。然后以IEEE 1394协议IP验证项目为例,提出一种搭建组件化、可重用验证平台的方法。最后介绍如何编写项目所采用的受约束的随机测试向量。实践结果表明,采用此方法可极大提高验证效率,缩短了整个设计的验证周期。
其他文献
综合自然环境建模与仿真是当前军事建模与仿真领域研究的热点与难点,而在不同应用领域的SNE数据的重用则是一个发展趋势。首先,从综合环境数据层次入手,研究了基于数据产品机
随着网络应用越来越广泛，电子政务系统的敏感信息必须有效地安全保护，然而传统的加密方法不能满足系统的需求。针对当前电子政务系统中存在的安全性问题，文中提出了一种基于三方
为了验证将决策树算法用于高光谱遥感影像分类的可行性,提出了一种二叉决策树自动构建算法用于高光谱遥感影像分类。通过对高光谱遥感影像进行现场采样、对样本进行统计和训练,生成了一棵二叉决策树,从决策树中提取出分类规则,并对高光谱遥感影像进行分类。生成的决策树简单明了,分类规则易于理解,分类效率和精度都比较高,实现了高光谱遥感影像从数据降维、样本选择、样本训练、决策树生成、影像分类的"一体化"和"自动化"
数据融合是一种自动化信息综合处理技术。智能电网是物联网的一项重大应用,它具有海量的终端设备和海量的采集数据,为数据融合技术提供了很好的研究点和应用点。为了明确数据
针对棒材生产车间环境的复杂性和现有棒材计数方法的不精确性,文中提出了一种准确,高效的棒材自适应计数方法。该方法采用局部二元模式描述棒材的截面纹理,有效地将棒材截面图像与复杂的背景进行分离,使用阈值渐增的二值化方法获取图像中的局部灰度极大值,将此最大值点作为棒材的中心点,最后对棒材的半径使用聚类方法对误判点进行过滤,进而统计计数。实验结果表明,该方法极大地提高了棒材计数的效率,并将识别准确率提高到了
以商业贷款中的个人贷款审核为研究和应用背景,基于语义本体模型,建立商业个人贷款本体,对其结构、概念、概念属性进行了规范的描述。并从个人贷款的领域知识中提取了概念属
光幕是一种依靠红外发射接收的高可靠性安全保护装置，文中设计一种无连接的简单通信、快速移位接收的光幕保护系统。光幕由两个单片机分别控制接收端和发射端，由最上端的两对发
实现数据交换云的关键是将数据交换平台虚拟化。针对目前ESB数据交换平台只能为一个信息共享和业务协同应用提供信息交换服务，不同应用需要不同交换平台的问题，提出了一种基于
对城轨线网的数据信息及其特征进行了分析，讨论了推送和拉取的信息分发机制，提出了一种适合于城轨线网的信息分发机制，该机制将推送与拉取相结合，根据当前系统分发信息的特征和及