一种行为级可测试性综合方法

来源 :计算机应用研究 | 被引量 : 46次 | 上传用户:yyw953
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
伴随着高层次综合技术的普及和深入,高层次可测试性综合技术引起了广泛的关注。在简单介绍当前可测试性综合技术的现状后,提出了采用"VHDL进,VHDL出"的方式进行行为级可测试性综合的流程,并提出了一个新的行为级可测试性分析算法,然后讨论了测试点的选择、可测试结构的规范化描述和自动插入的技术与方法。
其他文献
采用CCM构件模型可以简化CORBA服务器方的应用开发过程 ,提高CORBA的易用性 ,这已成为一种趋势。基于CORBA构件模型 ,对持久状态服务进行了深入的讨论与研究 ,并给出了持久状态服务集成相关设计与实现
针对网络延时不确定使Smith预估补偿器的控制效果差的问题,提出了改进的Smith补偿控制算法,通过对控制信息的反馈,起到了动态调整延时补偿时间的效果。仿真结果表明,本控制策略实现简单且具有很好补偿网络不确定延时的效果。
提出虚拟空间会议系统中一种基于感知控制的视频传输方案。
多描述编码针对不可靠网络传输将信号源编码成多个比特流,利用信号冗余估计丢失的信息,支持多层次质量解码。就两个描述的情况提出了三种基于离散余弦变换(DCT)的多描述编码方案。
RDGSM(theRegionalDatabaseforGeothermalSurfaceManifestation)是国际原子能机构 (IAEA)对地表同位素水文数据进行处理和管理的分布式数据库系统 ,数据信息分布在世界各地 ,数据采集和提交的时间至关重要。采用了基于NTP协议的分布式数据库时间同步策略 ,保障了整个系统数据时间上的同步性 ,确保了数据的有效性和可比性
在信息时代 ,由于Internet和其他信息传播媒体的存在 ,计算机数据安全问题日益突出。控制数据的安全包括两方面 :一方面如何控制数据的非自主流向 ,即如何控制数据不被心怀叵测者用不正当手段获得 ;另一方面 ,即使数据被窃之后 ,由于对数据先进行了加密处理 ,使非法获得数据者无法得知其中的内容。就Windows2 0 0 0环境下 ,对后者进行了讨论
基于Radon变换提出了一种新的图像识别方法,首先构造了二维图像在Radon变换空间的平移和比例不变量,然后根据变换空间数据的特性,利用奇异值分解得到了旋转不变量并将其用于三类飞机的识别,仿真结果表明该方法具有很好的性能和较高的实用价值。
简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。
比较了常规的模拟量和数字量数据采集 ,给出了一个用现场可编程门阵列 (FPGA)实现的实时嵌入式微机数据采集系统的软件 /硬件设计方法 ,将部分软件的功能改由硬件实现 ,从逻辑上大大简化了嵌入式软件的设计。
时间安全在电子合同中是一个十分重要的问题。时间戳解决两个问题:文档是何时生成的;文档是何时发出的。由信任的第三方(T.T.PTrustThirdParty)来完成工作,他必须连续记录这些时间形成时间链以保证安全。使用并相信惟一的第三方,仍存在安全隐患。介绍了现有的两种协议,提出以多个第三方采用分布式模型形成时间链的协议,提高了时间戳的安全度。