一台小型专用机的寄存器传输级模拟

随着计算机新技术的发展,计算机的逻辑结构越来越复杂。逻辑设计中的错误也就越来越难免。要缩短机器的调试周期,必须在机器装配之前尽量减少逻辑设计中的错误,逻辑模拟是借助计算机来进行逻辑校验的有效手段。数字网络的逻辑模拟一般可分为寄存器传输级模拟和门级(动能级)模拟二类。本文主要讨论寄存器级模拟,门级模拟另文讨论。     

面向事件的逻辑模拟程序LOGSIM

一、概述 逻辑模拟是一种很好的辅助逻辑设计方法,它是把一个系统或电路由设计引向实现的过程中很重要的一环。本文介绍一个在IBM-PC机上运行的逻辑模拟程序LOGSIM。 LOGSlM是在分析参考文献[1]中的逻辑模拟程序PROTOSIM后开发的。PROTOSIM     

LM—2逻辑模拟语言及程序

LM-2逻辑模拟语言及程序是为DJS—100系列计算机设计的门级逻辑模拟语言,是检查数字系统逻辑设计正确性的工具。LM—2除具有LM—1全部功能外增加了源程序的打印输出、凿孔输出、大延迟元件语句、观察点个数、五单位纸带输入、能在DJS—131机上运行以及其它改进等功能。     

一个门级逻辑模拟程序

门级逻辑模拟主要用于检查逻辑图的正确性。它比寄存器传输级模拟得更细。我们以一台具体机器所用的元件为背景,设计了一个门级逻辑模拟程序。计算,打印出该机器节拍转换器的节拍波形,验证了逻辑设计的正确性。对于类似元件的逻辑,均可用本程序来进行模拟。对于其它性能的元件,本程序只要加入有关计算该元件性能的子程序,也可使用。     

全国第一届逻辑设计自动化会议简讯

全国第一届逻辑设计自动化会议于1988年4月17日至21日在桂林召开,有46名代表参加,收到44篇论文,有25篇论文在会议上作了报告。会议分逻辑综合和逻辑模拟两个小组进行学术讨论,逻辑综合组有部分论文质量较高,不仅对传统的逻辑综合方法有改进,而且有的论文涉及到智能化逻辑综合、硅编译器的设计及可测性逻辑综合等新内容。逻辑模拟组报告了ERES,UAH,PL,CIDL,CDL等多种硬件描述语言及其编译     

从硬件描述语言直接生成逻辑图的逻辑设计自动化系统

本文讨论建立在Apollo DOMAIN系统上的一个从功能描述直接生成逻辑图的VLSI或硅编译器的逻辑设计自动化系统的构成和各组成部分的基本功能及特点.本系统包括寄存器传输级模拟,硬件逻辑翻译器,逻辑划分与函数(列阵)分解,两级逻辑综合与多级逻辑综合,自动生成逻辑图和逻辑模拟等五个主要软件.它们可以作为整个系统的组成部分,也可独立完成相应的功能. 本系统自动生成的逻辑图布局十分规整,连线也比较合理,并可通过交互系统进行布局和连线的修改.最后,生成的逻辑图还可以直接进行门和功能块级的逻辑模拟.     

波形法逻辑模拟算法——一个面向过程的算法

本文阐述的波形法模拟算法是一个面向过程的,在时间上高度并行的逻辑模拟算法。对以往的均是面向事件的逻辑模拟是一个突破。它对提高逻辑模拟效率及数学形式化做了工作,并给出了触发器元件的计算公式。     

交通信号灯控制电路的FPGA设计

介绍了一种交通信号灯控制电路的功能及其设计方案,给出了具体电路的逻辑设计结果,并通过QuartusⅡ 5.0软件的仿真验证以及硬件的调试,证实该电路能够实现对红黄绿交通灯的安全自动控制.     

基于时间偏差的并行逻辑模拟的动态负载平衡

随着大规模集成电路的复杂性日益增加,逻辑模拟开始采用并行离散事件模拟技术。在现有的基于时间偏差协议的并行逻辑模拟系统的基础上,提出了一个动态负载平衡模型,模型能够针对模拟时的负载变化,进行以一组模拟对象为单位的迁移以实现负载平衡。提出模拟推进度的概念,作为对并行逻辑模拟过程中的负载进行准确的衡量标准。     

田湾核电5、6号机组主给水泵组运行可靠性研究

在田湾核电5、6号机组电动主给水泵系统调试期间,发现了逻辑设计不合理、设备无法实现设计功能（如电动主给水泵无法自动控制、转速控制波动等）导致意外跳泵、备用泵无法启动,存在停机、停堆风险。通过全面系统地研究分析主给水泵功能、电液勺管控制系统原理及DCS平台特性,进行了一系列技术创新与设计改进,解决了由于设备、逻辑设计导致的影响主给水泵稳定运行的问题,确保田湾核电5、6号机电动主给水泵的安全稳定、可靠运行。     

1994年总目录

第1期SSACC:一种基于软件科学法的Ada并发复杂性度量用户级并行性的开发染色体计算机辅助识别软件系统研究电子海图显示数据库逻辑设计建立在WDDBS上的演绎系统W压DB面向对象的交互式三维布局仿真系统o03DP神经网络与专家系统门级逻辑模拟算法在没有硬盘不带汉卡的PC机上使用suPer一ccD(〕S和wPs经验定律发现系统QLH93的控制结构和发现能力多媒体计算机网络及其应用光栅图形显示技术和研究 第2期中西文多窗口软件的开发工具包CCTCT一T盯boC Tools 6.0的汉化改造及功能扩充3 和Novell网上Net班05调用的实现和性能比较对候选重…     

逻辑模拟智能教学写作环境的研究

基于智能教学系统(ITS)模型,本文将数字系统自动化设计逻辑模拟的抽象级概念、描述工具及模拟算法等问题引入到计算机辅助教学研究领域,在对逻辑模拟教学环境进行分析的基础上,提出了一个由辅助教学系统写作环境支持下设计ITS教学策略、实现领城知识表示的方法,并将逻辑模拟ITS写作环境定义为二元组AE=(T,R),进而讨论了逻辑描述、逻辑图构造、指令负载描述、操纵逻辑模型运行的模拟机制以及为获取模型相关组织说明的学习机制的设计等问题。     

门级逻辑模拟算法

本文论述了计算机辅助逻辑模拟的基本方法，给出了门级逻辑模拟算法，并在IBMPC-286上编程实现。文中对算法进行了分析。给出算法的时间和空间复杂度。最后给出实例，实践表明，使用本文给出的算法可取得与实际吻合的模拟结果。     

TJGS:基于编译和排序的面向过程的逻辑模拟系统

本文叙述了一个基于编译和排序的面向过程的逻辑模拟系统:语言、编译、排序、模拟和后处理。异于目前广泛采用的面向事件的模拟系统,本文提出了基于面向过程的波形字逻辑模拟系统的结构、设计和实现方法,并给出了系统中使用的主要算法。该系统已在VAX-11及TJ系列机的软硬件环境下实现,获得了满意的效果。     

基于PROLOG语言的数字电路逻辑模拟

文章阐述了ＰＲＯＬＯＧ语言在数字电路逻辑模拟中的应用,通过一些具体电路说明ＰＲＯＬＯＧ语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,ＰＲＯＬＯＧ语言的灵活性和推理技术,为逻辑模拟提供了新的技术和手段。     

一个有效的逻辑设计验证系统

随着 VLSI 技术的发展,逻辑模拟在数字系统的设计中占有越来越重要的地位,已经成为不可缺少的工具。本文给出了一个有效的、实用化的设计验证系统的 GFLS,它是一个多级混合的逻辑模拟系统。文中系统地讨论了 GFLC 的功能、特色,采用的模拟模型,硬件描述语言 GFHDL,如何利用它辅助数字电路的设计,以及性能效率和应用情况等。     

专用集成电路知识介绍(续八)

SPLICE的逻辑分析功能采用事件驱动法完成9值逻辑模拟,可以很好地解决信号竞争等问题。此外,逻辑分析时允许模拟信号有上升、下降延时。 SPLICE中的逻辑单元包括布尔门(如与非门、或非门)、单向和双向传输门、特殊功能元件(如阻抗门)。以后的版本中还将包括一些MSI和LSI功能(如RAM、ROM和PLA)。 因此,SPLICE是一个对MOS VLIS电路设计非常有用的CAD软件,对门级逻辑模拟提     

逻辑函数的if-then子句表示法

本文提出了逻辑函数的另一种表示方法,与传统的用布尔表达式中表示逻辑的方法不同,这里采用了if-then子句集的形式。本文还讨论了如何将一个布尔表达式转换成等价的if-then子句形式。逻辑函数的这种表示方法加快了逻辑模拟的速度,并且解决了采用诸如OCCAM等并发进程语言来进行逻辑模拟过程中的死锁问题。     

一种实用的数字电路CAD系统

本文主要介绍了一种逻辑模拟测试器ＳＴ的设计思想和工作原理， 出了系统硬件结构和处理流程。     

一种改进的并行保存划分算法

在计算需求量很大的电路模拟中，经常使用并行模拟技术来减少模拟时间。并行模拟中的划分被认为是提高模拟性能的有效途径。本文研究了针对并行逻辑模拟的一种优秀的启发式多层次划分算法——并行保存划分算法，针对其缺点做出了一些改进，得到一种新的划分算法。并将这种算法放到并行逻辑模拟框架SAVANT／TYVIS／WARPED中进行了验证，得到了较好的结果。