基于Boole过程的并行逻辑模拟算法

在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 .在Boole过程模拟法的基础上 ,为了降低逻辑模拟计算的时间复杂度 ,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法 .该算法免除了以往耗时很多的电路划分过程 ,在一定程度上提高了并行加速比 .

一种启发式并行逻辑模拟划分算法

随着并行计算机应用的日趋广泛，在大型数字系统设计验证中，并行逻辑模拟已成为提高模拟验证效率的重要技术途径。并行逻辑模拟算法性能受多种因素影响，其中电路划分算法是直接影响并行逻辑模拟性能的主要因素。提出了一种利用预模拟信息的启发式划分算法，可以明显改善多 Ｃ Ｐ Ｕ 的负载平衡效果，减少处理器间通讯量，有效提高并行逻辑模拟效率。

基于逻辑模拟退火法的炼油厂原油库存调度优化

提出了一种混合模拟退火算法,以模拟退火法作为随机搜索引擎,利用逻辑编程和线性规划来检验和处 理搜索结果。这种算法既可以发挥随机搜索法的快速寻找可行解的优势,又可以充分考虑特定问题内在的逻辑和 数学关系,使之可以在较短的时间内得到一较优解。实例计算结果表明,同传统的混合整数线性规划方法相比,这 种算法可以快速地给出优化解,且优化值与全局最优值差别不大,可以更好地解决原油实际调度问题。

一个功能较强的交互式混合级逻辑模拟工具SIM

SIM是一个功能较强的交互式混合级逻辑模拟工具,是VLSI CAD系统PANDA的一个重要组成部分。SIM覆盖门级、功能块级和开关级,把三者有机地结合在一起,既能模拟其中任一级的电路,也能模拟三种级别混合的电路。在门和功能块级模拟中可以针对各种延迟类型进行模拟。功能块可以是由用户用功能描述语言FDL描述的任意电路模块。开关级模拟采用类似MOSSIM的算法计算各节点稳态值,直接利用晶体管的长宽比或等效电阻电容等参数进行模拟,在计算延迟时采用较为精确的模型,使得计算精度比门级要高得多,SIM有方便、丰富、直观的交互处理功能,便于用户灵活地操作。在开发SIM的过程中,从一开始就遵循软件工程方法,具有较好的灵活性、可扩充性、可维护性,附有完备的文档资料。本文阐述SIM的基本功能和总体设计思想。

数字电路门级并行逻辑模拟

对基于事件驱动的电路门级并行逻辑模拟算法和相应的电路划分算法进行了研究。在保守协议的基础上,模拟算法采用流水线技术避免了死锁;采用事件打包,消息队列和非阻塞通讯技术减少了消息传递开销。在聚集分解的基础上,电路划分算法对组合或时序电路都可进行非循环划分,保证流水线模拟不会出现死锁。在曙光集群上采用MPI实现了模拟算法,对ISCAS部分电路进行实验,获得了很好的加速比。最后提出采用预模拟方法的电路划分改进方案。

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

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

用OrCAD/PSpice 9进行逻辑模拟的方法

介绍了用电路分析软件ＯｒＣＡＤ／ＰＳｐｉｃｅ ９进行逻辑模拟的方法，并通过两个实例较详细地说明了分析数字电路和数／模混合电路的具体方法和步骤。

结合逻辑模拟和布尔可满足性的设计错误诊断方法

在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS′85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。

PLC在电路逻辑模拟和实现中的应用

介绍了PLC在数字电路逻辑模拟和实现中的应用;并给出了用Micrologix1000实现这种方法的例子。该方法既可用于数字电路验证和辅助教学中,也具有实际电路应用价值。

数字电路逻辑模拟软件DCLSS的研究与实现

为了能够在微机上用软件实现不依赖于特定实验装置的数字电路实验 ,开发了基于Windows环境下的数字电路逻辑模拟软件DCLSS .软件采用图形输入方式 ,元件模型为五值、三强度及上下跳变延迟 ,模拟算法采用表驱动方法、时间映射方式、门级和功能级混合模拟 .该软件能够模拟组合逻辑电路、同步和异步时序逻辑电路及部分GAL等可编程逻辑元件组成的电路 .

门级逻辑模拟算法

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

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

一般的CAI系统采用的是一种存储—显示模式,系统不能动态地调整学习过程以适应不同的需要,而ITS的基本思想是:使基于计算机的教育过程科学化、专业化和自动化。为了实现这一思想,我们提出了一个由辅助教学系统写作环境支持下设计智能教学系统(ITS)的教学策略、实现领域知识表示的方法,并将逻辑模拟ITS写作环境定义为二元组AE=(T,R),进而讨论了逻辑描述、逻辑构造、指令负载描述、操纵逻辑模型运行的模拟机制以及为获取模型相关组织说明的学习机制的设计等问题。

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

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

逻辑模拟验证中波形离散化及冒险问题研究

依照布尔过程论中有关波形的描述,研究并设计了便于逻辑模拟响应数据采集的激励输入方法,按照波形离散化的要求,控制两次激励的间隔时间,解决了响应数据间的干扰问题;通过采用加入逻辑门的方法,推迟指定跳变的发生时间,从而避免了冒险现象,同时还保留了原电路的逻辑关系。

逻辑模拟的算法实现

一、引言 逻辑模拟作为一种数字系统计算机辅助设计已在数字系统的设计、测试、故障模拟方面获得了广泛的应用。本文介绍的是一种利用其原理在工业控制设备中进行逻辑模拟的算法。在设备中原来由逻辑电路实现的控制改为由计算机进行逻辑模拟来实现。即在计算机上建立实际电路的逻辑模型,针对一系列的外部输入信号。

逻辑模拟的算法实现

介绍一种在工业控制设备中实现逻辑模拟的算法。该算法充分考虑电路中各元件不同的延迟时间。

二元判定图在逻辑模拟中的应用

逻辑模拟可分为两部分:排队和求值。后者在逻辑模拟过程中要进行成千上万次。为减少模拟时间,我们采用二元判定图描述各种集成电路的逻辑功能。由于原始二元判定图有一定的局限性,为此对它作了扩充。在此基础上建立了一个集成电路元件库,开发了相应的逻辑模拟器。该元件库内包括了Texas TTL和National CMOS手册中常用的元件。本文将讨论对二元判定图的扩充,并给出逻辑模拟器的梗概。

利用Pspice9.2对数字电路进行逻辑模拟

本文介绍了EDA技术软件OrRCAD/Pspice9.2的功能特点,并通过具体实例详细介绍了该软件在数字电路中如何实现逻辑模拟。

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

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

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

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