检索结果-南通市图书馆

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

时序逻辑电路设计的经典案例教学探究

电气电子教学学报 2022年第1期44卷 10-12页

作者：余安喜罗笑冰李德鑫杜湘瑜国防科技大学电子科学学院长沙410073

围绕时序逻辑电路设计中串行数据检测器这一教学案例进行探讨,本文分析了传统和两种改进型电路的设计缺陷及其逻辑抽象本质,通过将传统设计方法和实用的电路设计相结合,能够把时序逻辑电路设计中涉及的逻辑抽象、状态等价、状态化简等... 详细信息

围绕时序逻辑电路设计中串行数据检测器这一教学案例进行探讨,本文分析了传统和两种改进型电路的设计缺陷及其逻辑抽象本质,通过将传统设计方法和实用的电路设计相结合,能够把时序逻辑电路设计中涉及的逻辑抽象、状态等价、状态化简等概念实例化,教学内容的理论体系更完整、教学过程的逻辑性更强,有助于激发同学们夯实理论知识体系、解决实际问题的创新性思维能力。

关键词：时序逻辑电路串行数据检测器案例教学

在线全文

学校读者我要写书评

暂无评论

时序逻辑电路设计的Petri网方法

计算机科学 2002年第12期29卷 186-189页

作者：张继军吴哲辉山东农业大学泰安271018 山东科技大学泰安271019

A new method for designing sequential logic circuits is put forward in this paper. The method is that driv-ing condition for flip-flops is obtained by means of the transition firing condition of petri net and that des... 详细信息

关键词：时序逻辑电路电路设计 Petri网触发器

在线全文

学校读者我要写书评

暂无评论

时序逻辑电路失效分析

半导体技术 2009年第10期34卷 974-977页

作者：龚欣王旭中国空间技术研究院电子元器件可靠性中心北京100029

利用液晶热点定位和电压衬度像等技术手段,准确定位了一时序逻辑电路的失效部位,结合电路原理分析以及芯片版图,详细解释了器件失效模式与失效现象的关系,并对其失效原因进行了实验验证。结果显示,电压衬度技术可以直观地显示逻辑电路... 详细信息

利用液晶热点定位和电压衬度像等技术手段,准确定位了一时序逻辑电路的失效部位,结合电路原理分析以及芯片版图,详细解释了器件失效模式与失效现象的关系,并对其失效原因进行了实验验证。结果显示,电压衬度技术可以直观地显示逻辑电路内部某点的逻辑状态,在失效定位以及失效模式确认方面起重要作用;时序逻辑电路失效后存在电势竞争现象,本失效案例表明,当电路中某点出现"1"和"0"的电势竞争时,该点表现为"1"。

关键词：时序逻辑电路失效分析电压衬度像电势竞争

时序逻辑电路设计法在数字图像显示控制器中的应用

在线全文

学校读者我要写书评

暂无评论

电视技术 2000年第2期24卷 9-11页

作者：林益平晏磊华南理工大学机电工程系广东广州510641 北京大学遥感所北京100080

1 概述数字时序电路广泛应用于家用电器、工业电器等,几乎在电子新产品开发过程中都会碰到数字时序电路的逻辑设计问题.数字时序电路逻辑设计常用的设计步骤如图1所示.

关键词：时序逻辑电路图像显示控制器数字图像显示

基于动态卡诺图对时序逻辑电路设计方法的优化

在线全文

学校读者我要写书评

暂无评论

科技通报 2022年第5期38卷 27-30页

作者：王芳黄德聪裴楠杨千城邹雨欣浙江艺术职业学院戏剧影视学院杭州310053 浙江工业大学信息工程学院杭州310023

在传统数字电路设计中,在保证逻辑功能正确的前提下,尽可能简化逻辑函数表达式以获得最简的电路。在目前国内的一些主要教材中,介绍时序逻辑电路设计时,当获得触发器的状态方程后,都是将状态方程和所选用的触发器的特性方程进行人为比较... 详细信息

在传统数字电路设计中,在保证逻辑功能正确的前提下,尽可能简化逻辑函数表达式以获得最简的电路。在目前国内的一些主要教材中,介绍时序逻辑电路设计时,当获得触发器的状态方程后,都是将状态方程和所选用的触发器的特性方程进行人为比较,得到触发器的驱动方程,这样获得的激励函数并不能保证一定是最简的,常常还需要进行某些修正。本文提出动态卡诺图的概念,利用触发器的状态变化来填写卡诺图,给出了J、K触发器的动态卡诺图化简技术和设计方法,这种设计方法解决了传统时序电路设计中卡诺图画包围圈不能遵循包围圈最大原则的问题。

关键词：时序逻辑电路动态卡诺图驱动方程状态方程

在线全文

学校读者我要写书评

暂无评论

时序逻辑电路的形式验证方法研究

时序逻辑电路的形式验证方法研究

作者：吕毅中国科学院研究生院（计算技术研究所）

学位级别：硕士

近年来，由于电路规模不断增大和电路功能日趋复杂，使得大规模集成电路的设计很难保证逻辑设计的正确无误。为了设计和建立高可靠性的VLSI系统，必须对VLSI的设计和实现进行有效的验证。目前主要的验证方法有模拟验证和形式验证两种，... 详细信息

近年来，由于电路规模不断增大和电路功能日趋复杂，使得大规模集成电路的设计很难保证逻辑设计的正确无误。为了设计和建立高可靠性的VLSI系统，必须对VLSI的设计和实现进行有效的验证。目前主要的验证方法有模拟验证和形式验证两种，模拟验证是当前工业界使用的主要方法，但是由于单纯的模拟验证已不能满足VLSI设计和制造的需要，形式验证的方法越来越引起人们的重视。模型检验(Model checking)方法是一种很有前途的形式验证方法，它的验证方法是通过对有限状态空间的遍历来确认规范说明(Specification)是否得到满足。这种方法具有高度自动化，执行速度快，能产生反例来帮助调试等特点，比较适合于VLSI的验证。有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。作者详尽地讨论了如何用二元判决图(BDD)表示时序逻辑电路的状态转移关系，在此基础之上，作者考察了一种单位时延的电位异步时序电路，提出并实现了表示其稳定状态转移关系的算法。符号模型检验(Symbolic Model checking)是时序逻辑模型检验的技术一种具体方法，它使用一种更为有效的“符号”的方法来表示被检验系统，因而可以处理更大规模的系统。SMV系统是一种典型的符号模型验证系统，作者对SMV系统进行改进之后，初步实现了一个符号模型检验系统。该系统使用基于BDD的符号模型检查算法，可以比较有效地验证时序逻辑电路。

关键词：形式验证模型检验时序逻辑电路二元判决图状态转移关系

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

时序逻辑电路中若干问题的探讨

电子技术应用 1998年第1期24卷 21-24页

作者：杜轩华张岳上海大学计算机学院

根据数字逻辑电路设计的经验，对时序逻辑电路部分的一些概念和方法问题提出了看法，并举例作了详细的讨论。

关键词：逻辑电路时序逻辑电路设计

一个分析时序逻辑电路ICAI系统的设计与实现

在线全文

学校读者我要写书评

暂无评论

天津大学学报（自然科学与工程技术版） 2002年第1期35卷 116-119页

作者：刘正光张惊雷张军天津大学电力自动化及能源工程学院天津300072

提出了一个用于分析时序逻辑电路的智能计算机辅助教学系统的构成 ,详细阐述了采用面向对象的知识表示方法建立系统领域知识库的设计思想及专家模型的设计过程 ,并讨论了实现中的一些技术问题 .研究结果表明本系统可快速求解一类时序逻... 详细信息

提出了一个用于分析时序逻辑电路的智能计算机辅助教学系统的构成 ,详细阐述了采用面向对象的知识表示方法建立系统领域知识库的设计思想及专家模型的设计过程 ,并讨论了实现中的一些技术问题 .研究结果表明本系统可快速求解一类时序逻辑电路 (计数器电路 )

关键词： ICAI 时序逻辑电路面向对象知识表示智能计算机辅助教学系统数字逻辑电路知识库

在线全文

学校读者我要写书评

暂无评论

基于粒计算的时序逻辑电路状态化简算法研究

基于粒计算的时序逻辑电路状态化简算法研究

作者：张凯英太原理工大学

学位级别：硕士

大规模集成电路的发展是计算机科学和电子科学的基石。数字集成电路是集成电路的重要组成部分，其理论基础是数字逻辑电路。尽管目前普遍使用自动化软件来设计电路，但理论上逻辑优化始终是电路分析与设计中的关键点。集成电路规模越来... 详细信息

大规模集成电路的发展是计算机科学和电子科学的基石。数字集成电路是集成电路的重要组成部分，其理论基础是数字逻辑电路。尽管目前普遍使用自动化软件来设计电路，但理论上逻辑优化始终是电路分析与设计中的关键点。集成电路规模越来越大，逻辑优化将面临更艰巨的优化任务，这些变化将给数字逻辑电路的基础理论研究带来挑战。当前人工智能理论和数据科学迅速发展，可尝试将新的理论和方法应用到数字逻辑电路的基础理论研究中。粒计算是新兴起的一个学科，是一种智能计算方法，该理论模拟人类处理复杂不确定、大规模问题的思维方式，从不同层次、不同角度分析、了解、把握事物的本质和内涵，目前已引起了国内外学者的广泛关注。时序逻辑电路是数字逻辑电路重要组成内容，根据电路中是否含有不确定项，将时序逻辑电路分为完全确定时序逻辑电路和非完全确定时序逻辑电路。本文主要研究了粒计算理论以及时序逻辑电路的状态化简问题，尝试将粒计算理论应用到时序逻辑电路状态化简中，论文主要工作如下：首先，总结粒计算、状态化简研究现状，找出粒计算与状态化简之间的衔接点;其次，研究完全确定时序逻辑电路状态化简，在矩阵模型基础上，提出了基于粒计算的化简算法以及该算法的改进算法;再次，研究非完全确定时序逻辑电路状态化简，针对寻找最大相容类、最小覆盖、最小闭覆盖三个求解步骤均提出了相应的算法，完成了状态化简;最后，总结论文主要研究内容，展望状态化简研究的发展方向。

关键词：粒计算时序逻辑电路矩阵模型状态化简