时序电路的状态验证研究与设计

采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.

GAL器件在软件加密技术中的应用

本文介绍运用可编程阵列逻辑GAL的加密特性,讨论了对存放在E-PROM中的软件进行加密的方法。

Compact PCI总线及设计原则

讨论了新一代工控机总线——ＣｏｍｐａｃｔＰＣＩ的结构和设计原则。

面向多输出电路的BDD拼接构造

二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。

EGA圆弧显示修正算法

讨论了EGA显示器上显示圆弧的修正算法,并给出了圆弧子程序。

时序电路的冗余状态变换确认研究

本文以状态跳变图为基础,深入分析冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测、不可测故障与冗余之间的联系。最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略。

容错技术及其在网络系统中的应用

该文先介绍了容错技术的基本原理,然后具体论述了容错技术在网络中的几种典型应用。

基于功能块的分离测试生成

通过扩展电路分离描述模型,提出了一种含三态门结构和时钟线故障的层次测试生成策略,试图探求一种有效的、实用的时序电路测试生成方法。

FTLAN系统故障检测技术

FTLAN(Fanlt Tolerant Local Area Network）系统是在Novell网环境下开发的一个基于消息驱动与同步的容错局域网系统,故障检测是该系统中需解决的关键技术之一。本文介绍了FTLAN系统中的各个节点机发生故障时,系统是如何检测的,并对其进行了简要的分析。