-
题名大规模Burst Mode异步控制电路分解与综合
被引量：1
- 1
-
-
作者
阮坚
王志英
王蕾
李勇
-
机构
国防科技大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第2期162-166,共5页
-
基金
国家自然科学基金项目(90407022)资助
-
文摘
对于现有的Burst Mode异步控制电路综合方法而言,由于在状态归约与赋值阶段需要进行完备的状态空间搜索,面临状态空间爆炸问题,因此仅仅适用于中小规模控制电路。为了提高电路的综合规模,使得Burst Mode异步控制电路走向实用化,提出了一种新的大规模Burst Mode异步控制电路的综合方法:利用Burs tMode状态机所对应有向图的有向回路集合对状态机进行分解,得到相互独立的子状态机;对各子状态机进行调整,采用请求/应答信号实现相应子状态机之间的四段握手通信;设计接口状态机解决相应子状态机之间的仲裁问题。通过实例比较可知,该方法可以大幅度地提高综合规模,降低综合复杂度,减少综合时间。
-
关键词
BURST
Mode异步控制电路
BURST
Mode状态机
层次化分解
逻辑综合
-
Keywords
Burst Mode asynchronous controller, Burst Mode machine, Decomposition, Logic synthesis
-
分类号
TP368.5
[自动化与计算机技术—计算机系统结构]
O157.5
[理学—基础数学]
-
-
题名固定型故障完全可测异步控制电路设计
被引量：1
- 2
-
-
作者
阮坚
戴葵
王志英
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2009年第7期95-97,共3页
-
基金
国家自然科学基金资助项目(90407022)
-
文摘
本文基于直接映射技术和异步控制电路的故障自检测特性,提出了一种固定型故障完全可测的异步控制电路设计方法,并在此基础上对异步控制电路单固定型故障的测试策略进行了较为详细的阐述。结果表明本方法切实有效且额外的面积开销小。
-
关键词
故障自检测
异步控制电路
直接映射
故障中断DC单元
-
Keywords
self-checking
asynchronous control circuit
direct mapping
fault-stop David cell
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
-
-
题名异步控制电路设计方法
- 3
-
-
作者
阮坚
王志英
李勇
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第9期2085-2088,共4页
-
基金
国家自然科学基金项目 (90407022)
-
文摘
以异步电路的基本类型为基础,依据异步控制电路的基本描述机制将已有的异步电路设计方法划分为基于CSP的设计方法、基于Petri网的设计方法以及基于有限状态机的设计方法3类,并对这3类设计方法的优缺点进行比较;针对已有的逻辑综合实现技术与直接映射实现技术的优势与不足,提出了异步控制电路设计方法的发展趋势。
-
关键词
异步控制电路
描述机制
逻辑综合
直接映射
设计流程
-
Keywords
asynchronous control circuit
specification method
logic synthesis
direct mapping
design cycle
-
分类号
TP302.2
[自动化与计算机技术—计算机系统结构]
-
