摘要
摘要
[白93] 使用CIRCAL系统自动验证速度相关系统 LNCS公司 1993 683 167 178 谷歌学者 
【BaJ95】 Bailey，A.M.和Josephs，M.B.：VLSI编程的定序器电路。 摘自：《异步设计方法第二届工作会议论文集》，IEEE计算机社会出版社，第82–90页，1995年。 谷歌学者 【武J96】 Bush，M.E.和Josephs，M.B.：异步电路中速度独立性的一些限制。 摘自：《第二届异步电路和系统高级研究国际研讨会论文集》，IEEE计算机社会出版社，第104–111页，1996年。 谷歌学者 【Dil89】 Dill，D.L.：用于速度无关电路的自动分层验证的迹理论。 麻省理工学院出版社，1989年。 谷歌学者 【呼啦85】 Hoare，C.A.R.：通信顺序过程。 普伦蒂斯·霍尔，1985年。 谷歌学者 [Jos92] 接受过程理论 信息学报 1992 29 17 31 谷歌学者 数字图书馆 
【KKT93】 Kishinevsky，M.、Kondratyev，A.、Taubin，A.和Varshavsky（V.）：并行硬件：自定时设计的理论和实践。 威利，1993年。 谷歌学者 [90年3月] 马丁·A·J：超大规模集成电路编程：从通信过程到延迟敏感电路。 In：C.A.R.Hoare（编辑）《并发与通信的发展》。 Addison-Wesley，第1-64页，1990年。 谷歌学者 [Mil65] Miller，R.E.：转换理论。 第2卷，威利出版社，1965年。 谷歌学者 [Sei80] Seitz，C.L.：第7章：系统定时。 收件人：C.Mead，L.Conway。 超大规模集成电路系统简介。 Addison-Wesley，第218-262页，1980年。 谷歌学者 【SuS91】 Sutherland，I.E.和Sproull，R.F.：逻辑努力：信封背面的速度设计。 摘自：C.H.Sequin（编辑）《超大规模集成电路高级研究》，麻省理工学院出版社，第1-16页，1991年。 谷歌学者 [vBe92] 小心等时叉 集成，VLSI期刊 1992 13 103 128 谷歌学者 数字图书馆 [vBe93] van Berkel，K.：握手电路：VLSI编程的异步架构。 剑桥大学出版社，1993年。 谷歌学者 [vBB94] 低功耗异步电路：DCC纠错器 IEEE计算机设计与测试 1994 11 2 22 32 谷歌学者 数字图书馆 [变量90] Varshavsky，V.I.（编辑）：并发过程的自时间控制。 Kluwer学术出版社，1990年。 谷歌学者
建议
基于双轨差动逻辑的异步和自检多值电流模电路集成 PRDC’00：2000年环太平洋地区可靠计算国际研讨会论文集 提出了一种新的基于双轨差分逻辑的多值电流模式（MVCM）集成电路，该电路在低电源电压下具有较高的电流驱动能力，可实现全自检电路和异步控制。。。 异步网关扩散输入（GDI）电路 新型门扩散输入（GDI）电路应用于异步设计。 将各种GDI实现与典型CMOS异步电路进行了比较。 动态GDI状态保持元件比CMOS C元件小2倍，速度快30%，并且。。。
