检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

产生异步时序机功能测试序列集的一个算法

湘潭大学学报(自然科学版) 1986年第2期 130-142页

作者：黄逸欧

时序机功能测试问题是CAD领域中一个十分重要的研究课题。目前,国内外普遍采用状态表分析法。本文提出了一个算法,是从时序机的初始输出函数Z=F(X,y)出发利用■Z=1,时序机矩阵模型中的B矩阵以及文献[1]中的一些主要结果得到异步时序... 详细信息

时序机功能测试问题是CAD领域中一个十分重要的研究课题。目前,国内外普遍采用状态表分析法。本文提出了一个算法,是从时序机的初始输出函数Z=F(X,y)出发利用■Z=1,时序机矩阵模型中的B矩阵以及文献[1]中的一些主要结果得到异步时序机的功能测试序列集。

关键词：时序机测试集测试序列序列集功能测试算法

不完全指定的时序机状态化简的一种计算机算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机学报 1983年第6期 454-461页

作者：韩俊刚西北电讯工程学院

本文提出不完全指定的时序机状态化简的一种计算机算法。该算法用生成树产生所有状态相容类;构成候选质相容类(Symbolic compatibles)的约束表并进行化简;对约束表应用分枝限界法得到最小闭覆盖。这种约束表比CC表节省存储量。该算法已... 详细信息

本文提出不完全指定的时序机状态化简的一种计算机算法。该算法用生成树产生所有状态相容类;构成候选质相容类(Symbolic compatibles)的约束表并进行化简;对约束表应用分枝限界法得到最小闭覆盖。这种约束表比CC表节省存储量。该算法已编制了FORTRAN IV程序并在一台小型计算机上实现。

关键词：闭覆盖状态化简时序机最大相容类分枝限界法分枝定界法右部计算机算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

N阶种控式时序机及其统一法逻辑设计(二)

电工教学 1995年第4期17卷 28-34页

作者：高广任辽宁省石油化工学校锦州121001

目前国内外,传统开关理论或数字逻辑中,均将N阶钟控式同步和异步时序机的设计理论与方法,进行分家分别论述。时至今日异步时序机的设计理论与方法也未完整的提出,这种分家的处理模式,实际上是一种步入歧途的模式,应当改革淘汰。 N阶钟... 详细信息

目前国内外,传统开关理论或数字逻辑中,均将N阶钟控式同步和异步时序机的设计理论与方法,进行分家分别论述。时至今日异步时序机的设计理论与方法也未完整的提出,这种分家的处理模式,实际上是一种步入歧途的模式,应当改革淘汰。 N阶钟控式同步和异步时序机的统一设计理论和方法,用流程图给出应如图7所示:

关键词：时序机统一法逻辑设计钟控式有限自动机

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

用时序机流程图法设计仪用控制电路

电子测量技术 1985年第4期 13-18页

作者：詹宏英宦维定南京工学院

本文叙述了时序逻辑电路的时序机流程图的设计方法,并用该法成功地设计了自动校零双斜式模数转换器的控制电路。

关键词：控制电路模数转换器控制回路电工仪表变换器时序机流程图法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

输出一致替换性划分在化简时序机中的应用

北京邮电大学学报 1985年第4期 1-7页

作者：冷荣泉

时序机状态化简是逻辑综合中必不可少的一环。有关这个课题的文献虽然不少,然而由于受传统的方法所限,距离实用化程度还有一定距离。本文的贡献在于:完善和拓广了输出一致替换性划分的理论和算法,在此基础上,推导出一种化简时序机的快... 详细信息

时序机状态化简是逻辑综合中必不可少的一环。有关这个课题的文献虽然不少,然而由于受传统的方法所限,距离实用化程度还有一定距离。本文的贡献在于:完善和拓广了输出一致替换性划分的理论和算法,在此基础上,推导出一种化简时序机的快迅迭代新方法。其相应的程序有较高的效率和较大的解题能力,经过十几个典型例题的验证及用随机数生成的状态表(已达到128个状态)考验,其结果的可行性、内存和机时的经济性都是较为满意的,比起目前其它方法有一定优越性,该程序已作为实用化逻辑综合软件包的一部分。

关键词：时序机迭代算法化简状态表

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

异步时序机多输出变化流程表状态简化的探讨

长春理工大学学报(自然科学版) 1985年第1期 74-80页

作者：刘丹峰

本文鉴于多输出变化流程表简化没有一种普遍应用的方法,在对流程表进行较详细分析的基础上,提出一种简化这种流程表的一般程序,并以实例说明了这种程序的实用性。

关键词：流程表状态数多输出概念思维形式时序机

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

不完全描述时序机的封闭类和极小化方法

重庆大学学报(自然科学版) 1980年第3期 19-30页

作者：周德玉重庆大学数学教研室

本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时,提出了一个更重要的封闭类,即所有一级蕴涵相容组构成的封闭类。证明了这个封闭类所包含的相容对就是一切相容对的蕴涵相容对的封闭类。... 详细信息

本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时,提出了一个更重要的封闭类,即所有一级蕴涵相容组构成的封闭类。证明了这个封闭类所包含的相容对就是一切相容对的蕴涵相容对的封闭类。在此基础上,提出了一个有效的极小化方法——建立无多余元素的蕴涵相容对封闭类的极小闭包的方法。此方法较其它方法简单。

关键词：相容组所有循环相关时序机

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

异步时序机的一种状态分配法

计算机学报 1982年第2期 152-160页

作者：王镭天津大学

本文提出一种非STT状态分配法,它是以迁移图为基础的,此法所要求的状态变量数最少,迁移次数也较少,因而也就节省了时序机的存储容量,提高了它的操作速度。

关键词：时序机状态分配存储容量状态变量海明距分配法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

提高微计算机化时序机操作速度的探讨

电子学报 1980年第1期 51-59页

作者：江明德

本文利用“Mealy型时序机在计算下一内部状态和输出状态方面具有并行性”和“时序机可转化为多个内动机”这两个基本概念,提出了一个提高微计算机化时序机操作速度的方案。由此得出的总体结构是一双微处理机系统,它的操作速度比单微计... 详细信息

本文利用“Mealy型时序机在计算下一内部状态和输出状态方面具有并行性”和“时序机可转化为多个内动机”这两个基本概念,提出了一个提高微计算机化时序机操作速度的方案。由此得出的总体结构是一双微处理机系统,它的操作速度比单微计算机方案提高1.4倍。文中以M6800系列组成的这种时序机为例,说明了上述两基本概念的具体体现。

关键词：时序机操作速度响应时间微计算机内动机