【摘 要】
：
功能验证已经成为当前芯片和系统设计中的一个重要挑战.通过一个简单的验证过程介绍当前功能验证的主要技术,这里主要介绍黑盒子、白盒子、灰盒子方法,它们的优缺点以及适用
【机 构】
：
北京航空航天大学学生处,北京,100083
【出 处】
：
全国第十一届信号与信息处理、第五届DSP应用技术联合学术会议
论文部分内容阅读
功能验证已经成为当前芯片和系统设计中的一个重要挑战.通过一个简单的验证过程介绍当前功能验证的主要技术,这里主要介绍黑盒子、白盒子、灰盒子方法,它们的优缺点以及适用的环境.通过具体分析当前的验证环境,来分析验证过程的瓶颈所在,主要的问题是:时间和资源的有限性；缺乏确定的表达规范和设计目的方法；功能覆盖不完整；时验证环境的变化缺乏应对性等。从根本上了解问题存在的原因,也就可以进一步地了解功能验证的重要性。根据验证存在的问题,介绍几种新出现的验证技术,比方基于协议的验证,基于断言的验证,以及验证组件的复用,这些都可以较好的解决我们当前的验证问题。
其他文献
节点选择问题存在于无线传感器网的目标跟踪问题中,指依据获得最大信息量、消耗最少网络资源的准则,如何从多个传感器中选取合适节点跟踪当前目标。现有的基于后验概率描述信
本文首先介绍了在救生机载台中双天线时差测向原理,建立了时差与相差之间的关系,然后从系统平台出发,分析了提取相差的方法,同时针对运算误差及DSP资源占用的问题,设计了合理
目的建立小鼠肿瘤模型,并用体内成像的方法进行检测,降低传统方法中的系统误差与人为测量错误,提高模型的准确性与客观性。方法构建萤火虫素酶的慢病毒表达载体,体外包装能表
年初,当相关权威机构纷纷作出经济危机“深不见底”的预测时;甚至3月,当各地楼市已初显“小阳春”气象时,估计没有人会料到,中国地产市场会在短短数月内如此迅速地褪掉寒冰、
本文研制了一种应用于某图像传输系统的低相嗓X频段锁相环频率源.在研制过程中,作者重点针对低相噪、低杂散指标进行优化设计,并按小型化、工程实用化的要求设计具体硬件电路
本文探讨了在使用过零检测法对FM/FM副载波进行解调时,通过插值的方法来提高遥测数据的采样率,从而提高解调的精度。并介绍了插值滤波器的原理,以及使用硬件描述语言实现的方
随着控制、计算机、通信、网络等技术的发展,信息交换通讯技术在越来越广阔的领域得到了应用,信息通讯的方式、方法也发生着日新月异的变化,现场总线就是在这种背景下发展起
自古以来福州民间有“黄金易得田黄难”、“一两田黄三两金”等说法。时到如今寿山石的价格更是水涨船高,居高不下。那么如何将投资风险降到最低呢寿山石自古受欢迎寿山石在
以钛酸四丁酯为前驱体,采用溶胶凝胶法制备多孔纳米晶TiO2薄膜。用X射线衍射仪分析薄膜的相组成和TiO2晶粒尺寸.通过比较不同钛酸四丁酯与水的比例与TiO2薄膜外观和晶粒尺寸
本文简要总结了碳纤维复合材料卫星天线喇叭体的成型工艺.介绍了卫星天线喇叭体的结构特点、技术要求,给出了所用材料的性能和部分实验结果。