异步控制电路设计与实现关键技术研究

被引:0
作者
阮坚
机构
[1] 国防科学技术大学
关键词
异步控制电路; Burst-Mode状态机; 逻辑综合; 层次化分解; 直接映射; 故障自检测;
D O I
暂无
年度学位
2008
学位类型
博士
导师
摘要
随着电路规模的扩大、设计主频的提高以及制造工艺的限制,同步电路设计遇到了前所未有的挑战,时钟偏差、时序收敛以及时钟功耗等问题日益突出。相对而言,异步电路使用本地握手信号来控制电路各模块操作的时序,从根本上解决了同步电路所面临的许多问题,并以可移植性好、模块化程度高、电磁兼容性强等诸多优势,重新引起了设计人员的重视。 本文针对现有异步控制电路设计方法处理规模较小、实现能力有限以及测试难度较大等问题,对异步控制电路设计与实现等诸多关键技术进行了广泛而深入的研究。本文所取得的主要研究成果如下: 1.提出了Burst-Mode状态机层次化分解技术。该技术主要包含两部分内容,一是根据简单有向图基本回路求解算法对Burst-Mode状态机进行逐级分解,得到若干相互独立的较小规模子状态机;二是设计接口状态机以解决各子状态机之间的仲裁问题。层次化分解实例表明该技术能够有效地降低Burst-Mode状态机的处理规模,较好地规避子状态机之间相对苛刻的时序要求。 2.提出了Burst-Mode状态机晶体管级/门级直接映射技术。该技术将Burst-Mode状态机的状态节点与具体的电路模块(状态单元)相对应,并以状态单元晶体管级/门级实现的一般性结构为基础,详细阐述了Burst-Mode状态机线性结构、Choice结构、Merge结构以及Scale-of-two循环结构相应的晶体管级/门级实现方法及其优化结构。该技术可以极大地减小Burst-Mode异步控制电路的实现难度,降低时间开销。 3.提出了逻辑综合与直接映射相结合的Burst-Mode异步控制电路层次化分解设计方法。该设计方法将Burst-Mode状态机的层次化分解技术、直接映射技术以及逻辑综合技术有机结合,首先对复杂的Burst-Mode状态机进行逐级分解;其次对各子状态机进行逻辑综合,获得相应的子控制电路模块,对接口状态机进行直接映射,获得相应的接口电路模块;最后将各电路模块按照对应信号关系进行连接得到对应的大规模Burst-Mode异步控制电路。该设计方法能够较大幅度地降低Burst-Mode电路的设计复杂性,充分利用逻辑综合和直接映射的优点,切实有效的满足大规模Burst-Mode异步控制电路的设计需求。 4.提出了单固定型故障完全可测的速度无关异步控制电路实现技术。该技术针对速度无关异步控制电路故障测试的困难,以改进的、故障中断David Cell为基础,基于直接映射技术加以实现。与此同时对单固定型故障的测试策略进行了详细说明。 本文以若干Burst-Mode状态机为例对所提出的Burst-Mode异步控制电路设计方法进行验证。结果表明,该设计方法切实有效,所实现的电路能够在面积开销和时间开销两个参数上取得折中。此外,本文基于所提出的单固定型故障完全可测异步控制电路实现技术对规模不等的速度无关电路加以处理,结果表明,该实现技术能够充分利用异步电路所固有的故障自检测特性,额外开销小且能够实现真速测试。
引用
收藏
页数:126
共 15 条
[1]
数字系统设计自动化.[M].边计年等编著;.清华大学出版社.2005,
[2]
MARBLE: an asynchronous on-chip macrocell bus [J].
Bainbridge, WJ ;
Furber, SB .
MICROPROCESSORS AND MICROSYSTEMS, 2000, 24 (04) :213-222
[3]
SELF-TIMED IS SELF-CHECKING [J].
DAVID, I ;
GINOSAR, R ;
YOELI, M .
JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1995, 6 (02) :219-228
[4]
Performance of iterative computation in self-timed rings.[J].Ted E. Williams.Journal of VLSI Signal Processing.1994, 1
[5]
Asynchronous datapaths and the design of an asynchronous adder.[J].Alain J. Martin.Formal Methods in System Design.1992, 1
[6]
The first asynchronous microprocessor: the test results.[J].A. J. Martin;S. M. Burns;T. K. Lee;D. Borkovic;P. J. Hazewindus.ACM SIGARCH Computer Architecture News.1989, 4
[7]
MICROPIPELINES [J].
SUTHERLAND, IE .
COMMUNICATIONS OF THE ACM, 1989, 32 (06) :720-738
[8]
COMPILING COMMUNICATING PROCESSES INTO DELAY-INSENSITIVE VLSI CIRCUITS [J].
MARTIN, AJ .
DISTRIBUTED COMPUTING, 1986, 1 (04) :226-234
[9]
异步微处理器设计方法研究 [J].
郭阳 .
计算机工程与应用, 2007, (14) :17-20+33
[10]
一种32位异步乘法器的研究与实现 [J].
李勇 ;
王蕾 ;
龚锐 ;
戴葵 ;
王志英 .
计算机研究与发展, 2006, (12) :2152-2157