数字电路SAT可满足性算法研究

现代数字集成电路技术的飞速发展,对计算机辅助测试提出更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起广泛的研究兴趣,并取得了一些应用上的成功.对电子数字电路的SAT可满足性算法进行研究,希望能够有助于提升我们对相关问题的认识,以有助于数字电路测试的不断发展和进步.     

数字电路故障诊断之我见

就现如今我国数字电路的发展情况可以看出,数字电路故障的检测是整个数字电路的研发生产过程中十分重要的环节,然而这一环节常常被忽视,加之诊断故障的完成达不到一定的水平,效率又差。本文着重诠释了数字电路产生故障的因素和数字电路故障的特点,简要介绍了检测诊断数字电路故障的发展现状,最终对于提高检测诊断数字电路故障的技术探讨了一些不错的方法措施。     

实际数字电路中冗余故障探析

实际数字电路中的冗余故障耗费的运算时间长,测试难度大,一些冗余故障采用传统方法无法测试出。然而,冗余故障会占用内存、导致可测数字电路故障产生矢量化,降低故障检测的覆盖率。采用数字电路冗余故障的冲突方法可以找出不同类型的实际数字电路冗余故障。采用数字电路冗余故障的冲突算法可以快速计算出门的逻辑值,从而找出实际数字电路中的冗余故障。     

浅议数字电路故障的特点及诊断技术

数字电路是当前常用的一种电路形式,数字电路的诞生和发展极大地推动了电路技术的进步,同时也提高了器械的制造和使用质量.数字电路由于其制作精细,一旦发生故障将会对整个器械的使用带来消极的影响.在此背景下简要地讨论数字电路故障的特点及诊断技术.     

基于LASAR的数字电路可测试性设计仿真

随着故障诊断技术的发展,利用专业的仿真工具对实际电路进行可测试性分析仿真用的越来越普遍。LASAR(逻辑自动激励与响应)就是一套优秀的用于数字电路测试开发和逻辑分析的仿真软件系统。介绍了利用LASAR故障仿真进行数字电路可测试性分析的方法。通过对一个实际电路进行仿真,具体说明了该方法在实际工程当中的应用。     

计数器在数字电路中的应用

计数器具有较强的记忆功能以及逻辑性,其在数字电路中应用广,是我国比较具有代表性的电路之一。随着我国科技的不断发展,通信技术以及电子技术在数字电路中应用空间越来越大,这也促进了我国数字电路的快速发展。本文对计数器在数字电路中的应用情况进行了分析,对计数器的功能用途以及性能进行了介绍,希望对计数器在数字电路中的应用推广起到促进作用。     

高速数字电路中信号反射的分析及解决方案

随着微电子技术的不断发展，在数字系统设计中系统工作频率不断增加，高速器件的使用越来越广泛。对信号进行完整性分析已经成为高速数字电路设计中的一个必要环节。针对高速数字电路设计存在的信号完整性反射噪声问题，首先从理论上分析了信号反射产生的原因及解决方法。然后以高速数字测试模块为例，利用Mentor GraPhics公司的Hypcdy似软件进行仿真验证，以达到在设计阶段消除反射噪声的目的。     

高速数字电路系统概述

随着微电子技术的快速发展,高速数字电路器件不断涌现,在如今的电子设计领域,高速数字电路设计已逐渐成为主流。当系统工作在如此高的速度时,将产生传输线效应和信号的完整性问题。合理设计电路,消除或者减小以上影响信号完整性的因素,提高高速数字信号的信号质量,是目前高速数字电路设计工程师所面临的主要问题。     

基于SoC的动态参数记录仪微型化研究

存储测试的主要特点是测试仪器置于被测对象内部或被测环境中实时地获取动态参数,为了减小测试仪器对被测对象的影响,需要减小测试仪器的体积,实现测试仪器的微型化.针对存储测试仪器的微型化需求,提出利用SoC系统集成、模块化结构等技术,将数字电路的ADC模块、控制模块、存储模块、接口模块等集成在专用SoC芯片中,同时,将测试电路分为模拟电路、SoC数字电路、电池等模块,立体封装在机械壳体里,设计并实现了微型化的动态参数记录仪.基于SoC的微型化动态参数记录仪体积约10 cm³,可以嵌入被测体内或者置入被测环境中,实时获取相关动态参数.试验表明,基于SoC的微型动态参数记录仪可以用于应变、侵彻加速度、火炮膛内压力等动态参数的测试.     

数字电路检测中DSO带宽选用

简要描述数字存储示波器带宽指标特性以及对波形测试的影响，浅析数字电路信号特点，给出数字电路检测中ＤＳＯ带宽的选用原则。     

试论数字电路的研究与应用

随着数字电路的飞速发展,数字电路的设计和应用要求越来越高,主要通过介绍数字电路的发展、分类、特点、应用等,进一步推动数字电路的发展。     

基于IEEE1149．1标准的边界扫描测试技术与方法的研究

边界扫描测试技术是目前一种主流的可测性设计技术,它以特有的结构和检测方法克服了复杂数字电路板测试的技术障碍,能大大提高数字电路的可测试性。本文在深人研究IEEE1149．1边界扫描标准的基础上,根据边界扫描标准定义的测试结构对数字系统的测试方法进行研究,设计出符合IEEE1149．1标准的边界扫描测试系统。主要研究内容如下：详细分析IEEE1149．1标准中定义的测试结构;基于IEEE1149．1标准,提出数字系统边界扫描控制器的设计方案并实现其硬件设计,包括边界扫描控制模块等,并编写上位机软件;最后对数字系统边界扫描测试中的测试方法进行研究。该系统具有极大的应用前景,可以广泛应用于大规模数字集成电路的测试。     

PLD在数字电路实验中的应用

探讨PLD技术在数字电路中的优越性,通过一个实例展现PLD的设计流程,从而说明引入PLD器件在数字电路实验中的重要意义。     

铁路电力设备电磁兼容问题研究

随着铁路电力系统自动化设备的广泛应用和技术的发展,设备越来越复杂,特别是模拟电路和数字电路混合的情况日渐增多,电路的工作频率愈来愈高,电磁兼容问题越来越突出.     

数字电路软错误防护方法研究

本文针对数字电路制造工艺的改进所带来的电路可靠性降低、软错误率增高这一问题,从数字电路中软错误类型的角度分析,软错误包括时序逻辑电路中的软错误和组合逻辑中的软错误,从数字电路软错误防护方法的角度分析,介绍了几种行之有效的防护技术,阐明了这几种软错误防护技术的应用原理及应用效果。     

基于数字电路模型的继电器控制电路测试技术研究

继电器能够兼具主动和被动控制的双重互动作用,在自动化电路中频繁使用,以自动开关的外在表现形式通过小电流反作用控制大电流,能够有效的保护调节电路正常稳定运行。根据现有的继电器对于电路的作用,尝试通过介绍如何将其转换成综合性逻辑电路模型的途径和所要注意的事项。在测试中选用伪穷举测试法的测试结果进行分部分的计算,另外测试中还要运用到数字电路的测试技术进行辅助检测。最后通过在柴油机严控系统实例的中验证模型的适用性,得出的结果是与预期的构想相一致,该测试可以并可以长期在建模和分析中使用。     

浅谈逻辑分析仪

本文主要介绍数字系统的两个方面。即时域和数域以及对它们进行测试所采用的方法（定时分析和状态分析）然后介绍逻辑分析仪是如何解决数字电路故障查寻的问题。     

多波束形成方法及其实现

声纳往往采用相控偏转的技术来形成各个方向的发射/接收波束。相控阵可以利用简单的数字电路来实现基阵发射角度的偏转。文中介绍一种利用FPGA芯片来实现旋转单波束方式的发射波束。该方法设计简单、可靠,经过实验测试,整机达到了预期的效果,验证了发射波束形成方法的正确性。     

浅谈FPGA的汇编与编程技术

随着现代微电子技术的快速发展,FPGA芯片已经在数字电路设计中发挥了巨大的作用。本文介绍了FPGA的软件设计开发流程,探讨了FPGA的汇编与编程技术。     

电子设计自动化教学的探讨

介绍EDA技术的主要特点和功能,并对将EDA技术引入到数字电路设计的教学方法进行探讨。