基于FPGA的芯片功能性验证自动化实现

针对传统半导体设计流程中对MCU芯片进行功能性验证时涉及到多个芯片之间的互联,手工操作连接十分烦琐且易出现错误,介绍了一种基于FPGA的MCU引脚自动互联的设计与实现.介绍了MCU模块功能性验证自动化实现的概念,从硬件逻辑角度给出了一种解决方法,并且从FPGA模块设计、功能仿真和系统实现等方面,证明了新的测试方法不但降低了人为操作错误的可能性,而且提高了模块功能验证的覆盖率和验证效率,大大缩短了产品的上市时间.     

读出电路数字模块设计

文章介绍了一个读出电路的数字控制模块.该模块集成了众多的控制功能,包括积分时间的调控,对面阵中指定窗口的读出,并能够支持快照读出模式和滚动读出模式之间的选择.文章中详细介绍了实现窗口功能和滚动功能的算法;电路的整体结构及端口时序,并给出了整个系统的仿真结果;最后采用上海集成电路设计中心提供的0.6μm双硅双铝标准单元库对本设计进行了电路综合,并对本设计的版图规划和实现进行了简略的说明,验证了将该设计向大规模读出电路上集成的可行性.     

基于 GSTE的验证在 UART模块中的应用研究

实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART 的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证。实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义。     

8万门母片系列电路测试软件开发及COMPASS门阵列库单元测试验证技术

JSC710XX是我国第一块利用COMPASS8万门门阵母片正向设计的超大规模集成电路，我们在DIC8032测试系统上开发出测试软件，对该电路的功能和参数进行了较完整的测试，也验证了COMPASS门阵列库单元。     

结合JND模型的交叉验证深度图质量评价方法

针对在3D视频(3DV)和自由视点视频(FVV)中传统的 图像质量评价方法不适用于深度图的问题,本文从人类视觉感知特性出发,提出一 种新的深度图 质量评估算法。首先进行交叉验证,得到待评价深度图的差值图;然后提取遮挡掩膜,去除 被遮挡的像素 点;再根据人类视觉特性,考虑背景亮度掩蔽、纹理掩蔽和边缘敏感性等因素,应用恰可察 觉失真(JND)模 型得到每个像素点的误差可视阈值;最后计算错误像素率作为度量指标评价深度图的质量 。实验结果表 明,本文提出的算法能够准确地检测错误像素,所提出的度量指标与全参考度量指标的相关 系数的平均值 为0.833,最高达到0.933,与合成虚拟视点均 方误差的相关系数的平均值为0.857,最高达 到0.928。     

软件演化研究

本文简单介绍了软件演化的一些重要方面以及软件演化领域的一些指导原则。     

巡航导弹景象匹配算法适应性研究

文章针对景象匹配制导的需求,研究了去均值归一化、基于直方图拉伸和基于局部平滑相关匹配算法,分析了算法的适应性、计算量和实时性等,比较了每种算法的优缺点.结合巡航导弹的使用,讨论了影响匹配结果的一些基本的、可能的因素,主要是环境因素.用三种分辨率的图像作了大量的实验,针对这些算法的匹配概率及地物适应性等方面进行了编程验证和综合分析,给出了有关结论.     

一种新的用于无线Ad hoc网络中视频传输的多路径包调度算法

该文提出了一种新的在无线Ad hoc网络中进行视频传输的多路径包调度算法(MPPA).该算法充分考虑到视频流传输的特殊QoS要求,针对视频流中的每个数据包进行操作,通过计算将其指定在某条路径上传输.避免了传统多路径传输中的接收端数据包乱序和重新排序的问题,有效地减小了接收端的启动延时和缓冲区需求.同时仿真结果验证了上述理论的正确性.     

OFDM系统中信道估计方法的研究

LS算法是OFDM系统信道估计方法中计算复杂度最低性能最差的方法.根据有限长度h的能量分布,提出了一种改进算法.通过仿真,与LS算法和性能较好的LMMSE比较,验证了改进后的LS算法性能优于最初的LS算法,并可在实际中得到较好的应用.     

时序机的功能验证

本文介绍了时序电路（时序机）功能验证的基本概念和发展，分析了验证中存在的问题以及冗余故障的性质．提出基于ＳＴＧ的功能验证方法。最后，提出了采用动态任务调度策略的并行验证技术以解决状态遍历问题。