基于SAT的组合电路自动测试向量生成

实现了基于可满足性(SAT)求解的方法,以解决固定型和时延故障的自动测试向量生成问题.详细讨论了如何利用电路的拓扑结构以及从ATPG到合取范式(CNF)的编码方法.CNF被输入到一个高效的SAT求解器zchaff中求解.在ISCAS85测试实例中验证了该算法的有效性.     

基于SOPC的视场拼接系统设计与实现

宽视场图像在视频压缩、虚拟现实和传输等领域有着广泛的应用。虽然利用广角镜头也可得到宽视场图像,但广角镜头的边缘会产生难以避免的扭曲变形。为了在普通成像系统的基础上获得宽视场图像,产生了图像拼接技术。分析了双路视场拼接系统的光学及机械原理,讨论了基于相位相关的视场拼接算法优劣,提出了建立基于SOPC的双视场拼接思想,介绍了双视场拼接系统的设计与实现。