竞争-冒险现象在组合逻辑电路中的判定与消除方法研究

竞争-冒险是组合逻辑电路工作状态转换过程中经常会出现的一种特有现象,该现象会导致组合逻辑电路在运行过程中得出错误的结果 ;文章在分析了电路产生竞争-冒险现象的基础上,介绍了识别并消除竞争-冒险现象的几种常用方法。     

CMOS电路中的竞争冒险及其克服

在许多CMOS时序电路中,经常可能发生竞争冒险现象,本文分析了它产生的原因,提供了克服办法。 文中给出了反射二进制(格雷码)计数器的实用电路及设计要点。实验表明,这种计数器不存在竞争冒险。     

插件自动测试中的故障模拟系统

本文介绍了一个三值平行故障模拟系统。该系统中,对元件的功能表达式采用了较有效的化简算法,使模拟运算的速度大为提高。并较好地处理了异步电路中出现的竞争、冒险、振荡现象,使该系统对组合逻辑电路、时序逻辑电路及部分异步电路均有较好的效果。     

双频比较法采样频混检测电路

本文讨论了一种采样频混检测电路。该检测电路采用双频比较工作原理，将输入信号数字化后与系统采样时钟作频率比较，能发现一切基频信号频混现象及大多数纹波频混现象，从而大大提高数字示波器等设备的测量可信度、文中介绍了该检测电路的结构，着重讨论了其中的关键技术──输入信号数字化方法，并提出了一种工作频率达１００ＭＨｚ以上的新型纹波数字化电路结构。     

EDA技术在竞争－冒险现象教学中的应用

在“数字电路”课程的教学中,引入EDA技术,利用EDA工具QuartusII中的原理图设计和时序波形仿真．在课堂上结合电教化教学手段,通过理论基础分析和电路波形仿真结果两个方面的内容,分析组合逻辑电路和时序逻辑电路工作状态转换过程中出现的竞争－冒险现象,探讨研究消除竞争－冒险现象的方法,并进行仿真验证。通过改进课堂教学方法,使学生深入理解数字电路中的竞争－冒险现象,提高教学效果。     

FPGA设计中由于延迟产生的冒险现象分析及消除

在使用FPGA器件设计组合逻辑电路时，由于连线和逻辑单元的延迟作用，使输出信号出现毛刺，产生冒险现象，影响逻辑电路的稳定性。本文基于Verilog HDL，对硬件描述语言设计的组合逻辑电路中冒险现象产生的原因进行分析，介绍了通过加入采样脉冲和加入D触发器消除冒险现象的方法。并给出了实例程序、仿真波形及综合后的电路结构图。     

多值开关级代数在MOS电路形式验证中的应用

本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构，给出了将多值开关级表达式转换成布尔表达式的定理，基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法。     

集成电路中冒险的检测和消除

CMOS集成电路中的冒险现象会增大电路的功耗,所以对集成电路中冒险的检测和消除的研究十分重要。文章分别对集成电路中原始输入单跳变,和多跳变两种情况下产生的冒险现象进行了研究,提出了检测和消除冒险的方法。文章的方法可以在非常短的时间内检测出电路中可能产生冒险的点,对于单个原始输入跳变的情况可以通过增加很少的电路开销来消除一部分冒险点。     

基于堆栈效应的CMOS电路漏电流估计

随着集成电路工艺几何尺寸的日益缩小和电路系统复杂度的进一步提高，特别是SOC的发展和电池供电的移动设备的广泛应用，芯片的功耗成为一个日趋重要的问题。电路功耗的来源可以分为动态功耗和静态功耗两个部分，动态功耗主要来自功能跳变、短路电流、竞争冒险等，曾经是电路功耗的主要来源。进入深亚微米工艺后，静态功耗以近乎指数形式增长，并成为能与动态功耗相抗衡的功耗来源。研究表明，在90nm工艺下，静态功耗已经占整个电路功耗的42％以上。静态功耗不仅影响着IDDQ测试方法，而且已经成为整体功耗的重要来源。因此，静态功耗的估计及优化方面的研究就变得越来越重要。     

基于蔡氏电路的混沌仿真研究

混沌是非线性系统中的常见现象。该文对产生混沌现象的最简单三阶自治电路——蔡氏电路进行了研究，建立了数学模型，分析了产生混沌的原因，并根据建立的数学模型对其进行了仿真研究，仿真结果表明在一定的条件下该电路能够出现混沌双涡卷吸引子和稳定周期轨道。     

任意值数触发器电路设计及其应用

本文在运用ＤＹＬ集成线性“与或”门构成多值反相器的基础上，设计出可存储任意逻辑状态值的ＲＳ触发器，Ｄ触发器和ＪＫ触发器，这类任意值数触发器可作为多值逻辑器件，用于多值时序电路设计。     

Design Technique of I~2L Circuits Based on Multi-Valued Logic

This paper proposes the use of the current signal to express logic values and establishes th theory of grounded current switches suitable for I^2L circuits.Based on the advantag that current signals are easy to be added,the design technique of I^2L circuits by means of the multi-valued current signal is proposed.It is shown that simpler structure of I^2L circuits can be obtained with this technique.     

一种实现三值逻辑电路的DNA计算模型

近年来,随着生物计算和量子计算研究的深入,多值逻辑电路的各种实现成为一个热门的研究方向.发夹结构是DNA分子一种特殊杂交方式的产物,具有结果稳定、特异性强的优点.本文首次提出了一种利用DNA分子来实现多值逻辑电路的方法,用DNA分子的多发夹结构来表示三值逻辑的值,并给出"与"运算和"或"运算的计算模型,该模型适合应用于大规模的多值逻辑电路.     

多值逻辑网络的输出跟踪牵制控制

本文利用代数状态空间方法,研究了多值逻辑控制网络的输出跟踪牵制控制.首先利用矩阵的半张量积给出了带牵制控制的多值逻辑控制网络的代数表示.其次基于该代数表示,定义了一组合适的能达集,并建立了多值逻辑控制网络输出跟踪牵制控制器的设计方法.再次,利用多值逻辑哑算子的性质,给出了多值逻辑控制网络分布式输出跟踪控制问题可解的充要条件.最后将所得的理论结果应用于网络演化博弈的演化行为分析.     

General decomposition of incompletely specified sequential machines with multi-state behavior realization

This paper is devoted to decomposition of sequential machines, discrete functions and relations. Sequential machine decomposition consists in representation of a given machine as a network of collaborating partial machines that together realize behavior of the given machine. A good understanding of possible decomposition structures and of conditions under which the corresponding structures exist is a prerequisite for any adequate circuit or system synthesis. The paper discusses the theory of general decomposition of incompletely specified sequential machines with multi-state behavior realization. The central point of this theory is a constructive theorem on the existence of the general decomposition structures and conditions under which the corresponding structures exist. The theory of general decomposition presented in this paper is the most general known theory of the binary, multi-valued and symbolic sequential and combinational discrete network structures. The correct circuit generator defined by the general decomposition theorem covers all other known structural models of sequential and combinational circuits as its special cases. Using this theory, in recent years we developed a number of effective and efficient methods and EDA tools for sequential and combinational circuit synthesis that consistently construct much better circuits than other academic and commercial state-of-the-art synthesis tools. This demonstrates the practical soundness of our theory. This theory can be applied to any sort of binary, multi-valued and symbolic systems expressed as networks of relations, functions or sequential machines, and can be very useful in such fields as circuit and architecture synthesis of VLSI systems, knowledge engineering, machine learning, neural network training, pattern analysis, etc.     

多值Boole过程

采用文献[1]中定义的扩展Allen-Givone代数概念将Boo1e过程沦扩充，提出了多值Boo1e过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中，这种方法有它的应用前景。     

多值触发器及其在时序电路设计中的应用

本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。作者将ＤＹＬ集成线性“与或“门，用来设定多值逻辑电平的基础上，提出了多值Ｄ、Ｔ、ＪＫ等触发器电路，并将这类多值触发器，作为多值逻辑器件，用于时序电路设计。     

Emitter-couple logic circuit design based on the threshold-arithmetic algebraic system

Based on the threshold-arithmetic algebraic system which has been proposed for current-mode circuit design,we propose a systematic methodology for emitter-couple logic(ECL)circuit design.Compared to the traditional methodologies and the theory of differential current switches,the proposed methodology uses the HE map and the characteristics of the internal current signals of ECL circuits to determine the external voltage signals.The operations of the HE map are direct and simple,and the current signals are easy to add or subtract,which make this methodology more flexible,direct,and effective,and make it possible to design arbitrary binary and multi-valued logic functions.Two example circuits are designed and simulated by HSPICE using 0.18μm TSMC technology.Simulation results confirm the validity of the proposed methodology.     

基于多值分解和多类标学习的分类框架设计

多值多类标的数据分类是研究一个样本不但同时属于多个类别,而且在某些属性下也可能存在多个取值的问题。提出了一种结合多值分解和多类标学习的多值多类标分类框架（MDML）,采用4种不同的多值分解策略,将问题转化为多类标问题,然后利用3种经典的多类标算法进行学习。实验结果表明,MDML与已有的多值多类标决策树算法相比,有效地提高了分类的性能,而且不同的组合方法适用于不同特点的数据集。     

A deterministic capacity-finding method for multi-valuedexponential BAM

The multi-valued exponential bidirectional associative memory (MV-eBAM) has been proposed and proved to be asymptotically stable under certain constraints. Although multi-valued eBAM has been verified to possess high capacity by thorough simulations, the capacity is still unable to be solved analytically. In the paper, an algorithm is proposed to derive the capacity. Some important characteristics, including the absolute lower bound of the radix, and the approximate capacity are also discussed. The result shows that the multi-valued eBAM indeed possesses high capacity