通用阵列逻辑GAL器编程方法的研究

介绍了通用阵列逻辑ＧＡＬ器件的输出逻辑宏单元结构及组态模式，重点就ＧＡＬ器件编程中选择输出方式，合理分配引脚处理相邻性问题，选择逻辑问题的描述方式以及ＡＢＥＬ软件编辑中的几个技术问题进行了分析与探讨。     

通用阵列逻辑（GAL）的5种工作模式

通用阵列逻辑为数字系统的设计带来了根本的变革。为了胜ＧＡＬ替代一般的数字电路，提高设计质量，研究了ＧＡＬ的核心电路输出逻辑宏单元的５种工作模式，并指出了各种模式在使用中应注意的问题，使数字系统的设计更加简化和方便。     

普通型GAL器件资源及开发应用

介绍了普通型ＧＡＬ的功能框图，列出了ＧＡＬ器件资源表，分析得出了ＧＡＬ内输出逻辑宏单位工作模式的５种允许的配合方式，为选片和电路划分提供了基本依据。最后给出了开发应用ＧＡＬ的注意事项。     

智能交通灯控制系统

建立了智能交通灯控制系统；给出了此系统的时序流程图．用ＡＢＥＬ语言写出交通灯控制系统的ＡＢＥＬ源文件，并输入计算机，由ＡＢＥＬ３．０软件对ＡＢＥＬ源文件进行编译，产生．ＪＥＤ文件，在编程器的支持下对ＧＡＬ器件进行编程，实现智能交通灯控制     

GAL器件输出逻辑宏单元的通用等效电路

建立了ＧＡＬ器件的输出逻辑宏单元ＯＬＭＣ（ｎ）分别在组态１、组态２及组态３的通用等效电路．它们适用于ＧＡＬ器件中任何一个宏单元；并且各宏单元不仅可以处于相同的组态，而且可以处于同一模式中不同的组态     

基于GAL芯片的数字电路设计

简要阐述了可编程逻辑器件（ＧＡＬ）的原理及性能特点,并通过实例说明：（ＧＡＬ）芯片设计数字电路,具有电路设计简单、灵活性强、可靠性高。     

对GAL器件输出逻辑宏单元使用的探讨

探讨了通用阵列逻辑（ＧＡＬ）器件输出逻辑宏单元（ＯＬＭＣ）的配置和工作原理，还探讨了在编写源文件时可能出现的错误及其原因，进而给出了输出逻辑宏单元的使用和管脚设定的规则。     

可编程逻辑器件的部分穷举法测试

提出了一种部分穷举法，并配合单片机预处理系统，对可加密的ＰＬＤ器件ＧＡＬ芯片实现快速的全破译．在主机使用４８６ＰＣ机的情况下，对于任何逻辑加密编程的ＧＡＬ芯片，最长分析时间不超过１７ｍｉｎ．     

用GAL 设计的步进电机脉冲分配器

用ＧＡＬ实现步进电机脉冲分配器的电路设计,通过计算机和编程器对ＧＡＬ编程,就可做成具有六相十二拍控制方式的脉冲分配器,其稳定性很好。     

普通型GAL输出逻辑宏单元的工作模式分析

详细地分析了普通型ＧＡＬ输出逻辑宏单元的工作模式，给出了５种允许的宏单元工作模式的等效线路图，归纳了各种结构控制字的功能。     

200MW 核供热站保护系统改进的研究

根据保护系统的技术发展及最新的电子技术，并结合２００ＭＷ核供热站的特点，提出了一种改进的保护系统设计方案。该设计方案在信号转输环节应用电压／频率变换技术，在信号处理环节应用无软件数字化技术，在逻辑符合环节应用通用阵列逻辑（ＧＡＬ）技术和微处理器系统互为冗余的结构，克服了为２００ＭＷ核供热站原来所设计的保护系统在通信、自检及信息显示等方面的不足，同时也从设备多样性角度探索解决数字化保护系统中软件失效引起的共模失效问题的方法。     

采用程序跟踪方案解密PLD／PAL（GAL）

介绍一种通过对输出状态的跟踪实现对ＰＬＤ／ＰＡＬ（ＧＡＬ）解密的方案，给出采用ＰＡＳＣＡＬ语言和８０８８汇编语言混合编程的测试软件功能结构及编程方法。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

CDMA通信中的码型选择

分析了可供ＣＤＭＡ系统采用的地址码型—ｍ序列和ＧＯＬＤ码的理论特性，给出了产生ｍ序列和ＧＯＬＤ码的实验方法，利用计算机模拟计算了它们的相关函数     

图形LOTOS和Peteri网模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具，用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网，该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ，根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单，这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ     

GAL在PLD技术中应用的一个实例

通过数字逻辑电路板的开发实例比较系统地讨论了ＧＡＬ的开发原理．     

CDMA通信中的码型选择

分析了可供ＣＤＭＡ系统采用地址码型－ｍ序列和ＧＯＬＤ码的理论特性，给出了产生ｍ序列和ＧＯＬＤ码的实验方法，利用计算机模拟计算了它们的相关函数。     

用可编程逻辑器件设计语言“ABEL”开发GAL器件

可编程逻辑器件ＰＬＤ是七十年代发展起来的新型逻辑器件，近几年发展十分迅速。而ＰＬＤ中的一种－ＣＡＬ器件由于其性能及价格优良，在我国应用发展更是日益广泛。本文通过几个实例简要叙述怎样用可编程逻辑器件语言－“ＡＢＥＬ”开发可编程逻辑器件ＧＡＬ。     

智能交通灯控制系统

建立了智能交通灯控制系统；给出了此系统的时序流程图。用ＡＢＥＬ语言写出交通灯控制系统的ＡＢＥＬ源文件，并输入计算机，由ＡＢＥＬ３．０软件对ＡＢＥＬ源文件进行编译，产生．ＪＥＤ文件，在编程器的支持下对ＧＡＬ器件进行编码，实现智能交通灯控制。