论文部分内容阅读
该文简述了在VAX／11-780机上开发的一个门阵列逻辑综合专家系统。该系统完成从寄存器传输级语言描述到门阵列逻辑网络的转换，即从功能到结构的转换。系统采用了层次化结构设计方法，并将形式化算法与符号推理相结合，提高了系统的实用性，利用有效的推理机制和新的启发式函数，使得推理过程智能更高。该系统还配置了两个模拟器，一个对语言描述做功能级模拟，另一个对最后形成的网络做门级和功能块级混合模拟。（本刊录）