面向功能向量的并行逻辑模拟

为了提高数字系统中功能向量的模拟效率并获得良好的性能扩展性,提出一种并行逻辑模拟算法.首先针对异质计算中图形显卡和多核微处理器的架构特性,结合同层级逻辑门仿真的任务并行性和竞争包容的事件管理机制;然后采用基于位操作的门运算、基于时帧的模拟以及基于VCD的功能向量进行逻辑仿真.在超百万门的开源电路openMSP和ISCAS89上的实验结果表明,对比单线程算法,功能向量模拟可以获得8.9~86.8的性能加速比,且加速比与电路的规模成正比.

集团OA办公系统测试方案的设计与实现

文章介绍了某集团办公自动化(OA)系统在全面测试阶段的测试方案的设计和实现,着重测试系统的业务逻辑、接口功能的正确性,以确保系统上线运行的稳定性和可靠性。

基于FPGA的集成电路测试系统设计

随着电路设计技术的不断发展,集成电路的测试对保证电路可靠性的作用日益增加。集成电路的测试不仅对确保电路的可靠性有重要作用,而且可以降低电路与系统的制造成本。本文是基于集成电路的逻辑功能测试理论,通过测试集成电路的逻辑功能是否正常来判断电路功能是否正常。实验结果表明,该系统测试便捷,准确,对于芯片的生产商和使用者都具有较重要的意义。

基于函数调用的路径覆盖生成技术研究

针对目前路径覆盖方法所存在的缺陷,提出了一种新的基于函数调用的路径覆盖生成方法.根据控制结构与函数调用语法,获取全部的静态函数调用路径,依据程序执行后的动态路径信息,判断测试用例是否覆盖了程序变更部分及受影响部分.该方法既能避免路径数目的急剧增长,又可以保证测试完全.

基于BIST方法的新型FPGA芯片CLB功能测试方法

新型FPGA普遍使用了6输入查找表以实现可编程逻辑,如Xilinx公司的Virtex 5系列、Ultrascale系列等.由于I/O数量有限,针对这些芯片的CLB功能测试,可选择ILA级联测试法并利用位流回读进行故障定位,但由于CLB存在路径互斥,覆盖所有故障所需配置较多,而位流回读较为缓慢,限制了定位速度.BIST测试法通过直接检测CLB的输出来发现故障,所需配置数量少于ILA级联法,但需要将测试激励传递到所有BUT导致端口负载大,布线存在困难.本文提出了一种将ORA中闲置资源配置为锁存器链,以便传递测试激励的方法.该方法降低了端口负载.同时利用剩余的逻辑资源建立扫描链,大幅加快了故障定位速度.在Xilinx 7系列FPGA上的实验结果表明,与其他文献所用测试方案比较,测试所需配置次数由30次降低到26次,故障定位所需时间在2.4MHz时钟驱动下可达61.35ns.

数控机床故障诊断的数理逻辑分析方法研究

以数理逻辑为理论基础,对数控机床常见故障进行分析。提出数控机床故障诊断的数理逻辑运算方法,并在此基础上,以数控机床冷却故障为例阐述数理逻辑分析方法的应用。结果表明,数理逻辑分析方法对数控机床外围故障的判断和排除有着事半功倍的作用,以众多的环境因素、故障信息为依据,不断排除非故障因素,在不拆卸或少拆卸的情况下确定故障的部位和原因,有效避免盲目拆卸、调整造成的设备额外故障,提高了故障诊断的效率。

多功能新型Apple-Ⅱ逻辑功能测试卡

本文讨论了一种简单、有效,在Apple-Ⅱ微机系统上实现测试74/54系列ICs的逻辑功能,提供其逻辑接线图,搜索出功能正常但型号不明之芯片的型号,测试同一芯片上各独立逻辑功能组件的逻辑功能的测试装置。系统的工作原理基于存贮响应法:即向被测件提供测试图形并取回相应的响应图形与机内存贮的“正确”响应相比较。文中给出了一种器件的测试数据。所讨论的思想方法适用于对系统功能的再扩展。

数字IC测试仪测试向量与编码方法研究

针对数字IC电路逻辑功能、真值表不同,芯片参数数据库向量编码复杂的问题,设计并解决了数字实验中常用20脚以内的数字IC测试仪最为关键的测试向量及其编码问题。

GaAs多功能MMIC在片测试系统设计

GaAs多功能MMIC集成度高,数模混合驱动及测试需求考验测试平台的兼容性和稳定性。采用PXI平台模块化测试仪器结合矢量网络分析仪设计多功能MMIC在片测试系统,满足GaAs多功能MMIC的数模混合信号驱动、检测需求,保证测试稳定性。

数字IC逻辑功能测试仪的设计

介绍了以单片机为核心的20脚以内的简易数字IC逻辑功能测试仪的软硬件系统,主要设计了测试仪接口电路及芯片的驱动转换电路,并对20脚以内的数字IC测试向量与编码进行了优化设计,解决了数字实验最常用的IC逻辑功能测试的问题.

计数器74HC161逻辑功能测试电路设计

在电子专业技能训练课程中,74HC161是一种比较常见的同步可预置数四位二进制加法计数器集成块。无论在生活实际应用还是在教学过程中,若能正确理解和掌握74HC161集成块的逻辑功能,将有助于电路的装配、调试以及故障排除。因此,设计了一款方便操作、结构简便以及功能现象明显的74HC161逻辑功能测试电路。

依维柯车型起停系统开发过程实例分析

简介依维柯车型起停系统,并通过该系统开发过程中发生工作异常的实例,结合整车线路,从系统工作逻辑和CAN总线信息交互等方面,对异常的根本原因进行深入分析,并提出优化改进方案。

基于LK8810S平台的数字集成电路测试

阐述基于LK8810S平台的数字集成电路测试技术,它对典型数字芯片74HC595测试,包括开路、短路、直流参数、逻辑功能进行测试,测试结果表明,此测试方案准确有效。

±800kV换流站NBSF功能逻辑分析及试验方法的改进

特高压换流站控制保护逻辑多且复杂,每一个控制逻辑都要在系统调试阶段进行详细的功能验证。其验证方法的合理性,关系到的整个直流系统运行的可靠性。本文通过灵州-绍兴直流控制保护系统联调试验对NBSF逻辑进行功能分析,提出了更为可靠的控制保护策略和全面的试验方法。

一种测试PLC逻辑功能的方法

针对PLC逻辑功能测试的不完整性问题,本文提出一种PLC逻辑功能测试完整性可量化的方法。首先,建立PLC逻辑功能和功能块的测试例子库。在编写PLC逻辑功能测试例子时,通过调用逻辑功能测试例子库中相应的模板,编写出完整的逻辑功能测试例子。最后,通过编写一个PLC逻辑功能测试例子,验证了该方法的有效性。

功能覆盖率驱动的自适应遗传算法验证技术

根据不同功能测试点在芯片代码中的逻辑深度与相应测试向量覆盖到的测试点多少的关系,对不同测试点设置了相应的权重,提出一种基于自适应遗传算法的激励向量生成方法。实验结果表明,该方法能减少编写约束文件时间,较快自动搜索有针对性的测试激励,提高芯片功能验证的可靠性和仿真效率。

核电DCS组态逻辑功能总体验证技术研究

核电厂数字化分布式控制系统(DCS)软件组态逻辑功能在工厂测试与现场调试阶段存在重复验证、设计变更频繁等问题。对核电典型系统逻辑组态工厂测试与现场调试功能验证方法进行了对比分析,研究了华龙一号核电设计、制造、调试技术文件体系的现状。在遵守核安全导则《HAD 102/16核动力厂基于计算机的安全重要系统软件》和保证核岛系统控制功能组态逻辑验证完整性的前提下,提出了工厂测试与现场调试阶段的核电DCS组态的逻辑功能总体验证策略,优化了两个阶段在系统设计与组态功能正确性交叉验证中的重复内容。核电DCS组态逻辑功能总体验证技术的应用,能够有效提升系统测控功能的正确性,提高现场试验一次成功率,减少重复验证,缩短核电建造工期。

面向IC装备功能仿真平台的多模式测试方法

为了实现全面对IC装备以及装备功能仿真平台进行功能测试,通过分析装备命令响应特点,提出了包含单指令测试、逻辑指令序列测试以及随机指令序列测试的多模式测试方法;单指令测试验证设备以及由相关设备组成的系统的单指令响应正确性;逻辑指令序列从控制系统角度验证设备或系统的连续动态运行性能;随机指令序列测试验证设备或系统的动态随机响应性能;实际应用表明,提出的测试方法可以满足IC装备功能仿真平台的测试需求。

用于复杂数字系统测试的整体功能模型

运用《系统论》的思想，提出数字系统功能和复杂数字系统整体功能的概念，由此引伸出功能测试的新方法．这种方法可归结为通过复杂数字系统的分析，包括拓扑分析和逻辑分析，建立整体功能模型，据此找出验证测试所需的系统输入向量序列．这些工作可采用计算机辅助手段，特别是运用《算法图论》和逻辑综合工具而完成的．用所提出的方法可以在复杂数字系统各种不同抽象级的逻辑图中提取整体功能模型，因此具有广泛的适用性．

一种多样性驱动系统逻辑功能测试方法的研究

逻辑功能测试属于核电站DCS系统测试活动的一个重要环节,现有的逻辑功能测试方法更多地是通过测试装置或信号发生器模拟现场传感器信号,使用维护工具人工验证输出结果是否符合预期。现有方法测试周期长、自动化程度低、测试效率低、人因失误率高。本文研究了一种多样性驱动系统(简称'KDS')逻辑功能的测试方法,通过因果图法设计标准化测试用例,使用定期试验自动测试工具执行逻辑功能测试用例并已成功应用于实际工程项目。结合多个工程项目逻辑功能测试的实际应用经验,证明逻辑功能自动化测试方法不仅提高了测试效率,同时降低了人因失误率,对后续核电项目工程测试应用具有较强的参考价值。