Brzozowski，J.A。 延迟敏感性和三值模拟。 （英语） Zbl 0946.68005号 西奥。计算。科学。 245，第1期，3-25（2000）. 摘要：考虑一个由一组通过导线互连的模块构成的网络。假设（N）有一个形式规范（Sigma），并且（N）的行为满足该规范。假设（N）由相同的模块组成，但假设这些模块和互连导线具有任意延迟。我们说，如果如上定义的任何网络的行为仍然满足\（\西格玛\），则\（N\）是延迟不敏感的。异步电路中的一个重要问题是，在给定一个规范（Sigma）和一组模块类型（T）的情况下，确定是否存在来自（T）且行为满足（Sigma\）的延迟敏感模块网络。如果存在这样的网络，我们说它实现了延迟敏感。在组件是逻辑门的情况下，众所周知，很少有规范具有延迟敏感的实现。几个这样的结果的证明涉及“三元模拟”，这是一种基于三元代数的分析方法，并且依赖于一个连接二元分析和三元模拟的关键定理。在本文中，我们调查了有关延迟敏感性的已知结果，并概述了一个简单规范无法实现的证明。 引用于1文件 MSC公司： 68米99 计算机系统组织 2007年7月68日 计算机体系结构的数学问题 关键词：异步;电路;延迟不敏感;基本模式;一般多次获胜;输入-输出模式;网络;半模块化;速度相关性;三元代数;三值模拟 PDF格式BibTeX公司 XML格式引用 \文本｛J.A.Brzozowski｝，Theor。计算。科学。245，编号1，3--25（2000；Zbl 0946.68005） 全文： 内政部 参考文献： [1] J.H.安德森。；Gouda，M.G.，《故障现象的新解释》，《信息学报》，28297-309（1991）·Zbl 0721.94028号 [2] Black，D.L.，《关于延迟敏感公平仲裁者的存在：跟踪理论及其局限性》，分布式计算。，1, 4, 205-225 (1986) ·Zbl 0643.94041号 [3] 布鲁克斯，S.D。；Roscoe，A.W.，《通信顺序过程的改进故障模型》，Lect。注释计算。科学。，197, 281-305 (1984) ·Zbl 0565.68023号 [4] E.Brunvand，R.F.Sproull，《将并发程序转换为延迟敏感电路》，Proc。《计算机辅助设计国际会议》，IEEE出版社，1989年，第262-265页。；E.Brunvand，R.F.Sproull，《将并发程序转换为延迟敏感电路》，Proc。《计算机辅助设计国际会议》，IEEE出版社，1989年，第262-265页。 [5] E.Brunvand，《将并发通信程序转换为异步电路》，卡内基梅隆大学计算机科学系博士论文，1991年。此外，技术代表。CMU-CS-91-198。；E.Brunvand，《将并发通信程序转换为异步电路》，卡内基梅隆大学计算机科学系博士论文，1991年。此外，技术代表。CMU-CS-91-198。 [6] J.A.Brzozowski，J.C.Ebergen，异步电路设计的最新发展，收录于：J.Csirik，J.Demetrovics，F.Gécseg（编辑），Proc。《计算理论基础》，《计算机科学讲义》，第380期，施普林格，柏林，1989年，第78-94页。；J.A.Brzozowski，J.C.Ebergen，异步电路设计的最新发展，收录于：J.Csirik，J.Demetrovics，F.Gécseg（编辑），Proc。《计算理论基础》，《计算机科学讲义》，第380期，柏林斯普林格出版社，1989年，第78-94页·Zbl 0728.94010号 [7] Brzozowski，J.A。；Ebergen，J.C.，《关于门网络的延迟敏感性》，IEEE Trans。计算。，41, 11, 1349-1360 (1992) ·兹比尔1395.94378 [8] Brzozowski，J.A。；Seger，C-J.，门网络三值模拟的特征，IEEE Trans。计算。，C-36、11、1318-1327（1987）·Zbl 0641.94030号 [9] Brzozowski，J.A。；Seger，C-J.，《异步电路》（1995），Springer:Springer New York，NY·Zbl 0879.94040号 [10] Brzozowski，J.A。；Yoeli，M.，《关于门网络的三元模型》，IEEE Trans。计算。，C-28、3、178-183（1979）·Zbl 0408.94023号 [11] J.A.Brzozowski，H.Zhang，《延迟敏感性和半模块性》，发表于《系统设计的形式方法》。；J.A.Brzozowski，H.Zhang，《延迟敏感性和半模块性》，发表于《系统设计的形式方法》。 [12] M.E.Bush，M.B.Josephs，《异步电路中速度依赖性的一些限制》，Proc。第二国际。症状。《异步电路和系统的高级研究》，1996年3月18日至21日，日本Aizu-Wakamatsu，IEEE计算机社会出版社，加利福尼亚州洛斯阿拉米托斯，1996年，第104-111页。；M.E.Bush，M.B.Josephs，《异步电路中速度依赖性的一些限制》，Proc。第二国际。症状。《异步电路和系统的高级研究》，1996年3月18日至21日，日本Aizu-Wakamatsu，IEEE计算机社会出版社，加利福尼亚州洛斯阿拉米托斯，1996年，第104-111页。 [13] T.-A.Chu，从图形理论规范合成自定时VLSI电路，麻省理工学院电气工程与计算机科学系博士论文，1987年6月。；T.-A.Chu，从图形理论规范合成自定时VLSI电路，麻省理工学院电气工程与计算机科学系博士论文，1987年6月。 [14] D.L.Dill，《速度相关电路自动分层验证的跟踪理论》，卡内基梅隆大学计算机科学系博士论文，1988年2月。此外，麻省理工学院出版社，马萨诸塞州剑桥，1989年。；D.L.Dill，《速度相关电路自动分层验证的跟踪理论》，卡内基梅隆大学计算机科学系博士论文，1988年2月。麻省理工学院出版社，马萨诸塞州剑桥，1989年。 [15] J.C.Ebergen，《将程序转换为延迟敏感电路》，1987年10月，荷兰埃因霍温理工大学数学与计算科学系博士论文。此外，1989年荷兰阿姆斯特丹数学和计算机科学中心CWI第56卷。；J.C.Ebergen，《将程序转换为延迟敏感电路》，1987年10月，荷兰埃因霍温理工大学数学与计算科学系博士论文。此外，CWI第56区，数学和计算机科学中心，荷兰阿姆斯特丹，1989年·Zbl 0659.94019号 [16] Ebergen，J.C.，设计延迟敏感电路的形式化方法，分布式计算。，5, 3, 107-119 (1991) ·Zbl 0731.68081号 [17] Eichelberger，E.B.，《组合和顺序开关电路中的危险检测》，IBM J.Res.Develop。，9, 90-99 (1965) ·Zbl 0132.37106号 [18] Hauck，S.，《异步设计方法：概述》，Proc。IEEE，83，169-93（1995年） [19] 何继峰，M.B.Josephs，C.A.R.Hoare，《同步与异步理论》，收录于：M.Broy，C.B.Jones（编辑），《程序设计概念与方法》，阿姆斯特丹北霍兰德，1990年，第459-478页。；何继峰，M.B.Josephs，C.A.R.Hoare，《同步与异步理论》，收录于：M.Broy，C.B.Jones（编辑），《编程概念与方法》，荷兰阿姆斯特丹，1990年，第459-478页。 [20] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0637.68007号 [21] Josephs，M.B.，接受过程理论，信息学报。，29, 17-31 (1992) ·Zbl 0724.68037号 [22] M.B.Josephs，J.T.Udding，延迟敏感电路代数，收录于：E.M.Clarke，R.P.Kurshan（编辑），计算机辅助验证，AMS-ACM，普罗维登斯，RI，1990年，第147-175页。；M.B.Josephs，J.T.Udding，延迟不敏感电路的代数，载：E.M.Clarke，R.P.Kurshan（编辑），计算机辅助验证，AMS-ACM，普罗维登斯，RI，1990，第147-175页·Zbl 0765.94024号 [23] M.B.Josephs，J.T.Udding，DI-代数概述，收录于：T.N.Mudge，V.Milutinovic，L.Hunter（编辑），Proc。第26届夏威夷国际系统科学年会，1993年，第329-338页。；M.B.Josephs，J.T.Udding，DI-代数概述，收录于：T.N.Mudge，V.Milutinovic，L.Hunter（编辑），Proc。第26届夏威夷国际系统科学年会，1993年，第329-338页。 [24] Kishinevsky，M。；Kondratyev，A。；陶宾，A。；Varshavsky，V.，《并发硬件》（Concurrent Hardware）（1994年），威利出版社：英国威利奇切斯特·Zbl 0812.68042号 [25] 拉瓦尼奥，L。；Sangiovanni-Vincentelli，A.，《异步电路的合成和测试算法》（1993），Kluwer学术出版社：Kluwer-学术出版社波士顿 [26] P.G.Lucassen，延迟敏感规范演算的指称模型和合成定理，博士论文，荷兰格罗宁根国立大学，1994年5月。；P.G.Lucassen，延迟敏感规范微积分的指称模型和合成定理，博士论文，荷兰格罗宁根国立大学，1994年5月。 [27] A.J.Martin，延迟敏感公平仲裁人，《技术报告5193:TR:85》，加利福尼亚州帕萨迪纳加州理工学院计算机科学系，1985年。；A.J.Martin，延迟敏感公平仲裁人，《技术报告5193:TR:85》，加利福尼亚州帕萨迪纳加利福尼亚理工学院计算机科学系，1985年。 [28] Martin，A.J.，《异步电路中延迟灵敏度的限制》（Dally，W.J.，第六届麻省理工学院超大规模集成电路高级研究会议论文集（1990年），麻省理工学出版社：麻省理学院出版社，马萨诸塞州坎布里奇） [29] 米德，C。；Conway，L.，《超大规模集成电路系统简介》（1980），Addison-Wesley：Addison-Whesley Reading，MA [30] R.E.Miller，《开关理论》，第2卷：时序电路与机器，威利，纽约，1965年。；R.E.Miller，开关理论，第2卷：时序电路和机器，威利，纽约，1965年。 [31] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔·恩格尔伍德克利夫斯·Zbl 0683.68008号 [32] C.E.Molnar、T.P.Fang、F.U.Rosenberger，《延迟敏感模块的合成》，摘自：H.Fuchs（编辑），Proc。1985年《超大规模集成电路教堂山会议》，计算机科学出版社，马里兰州罗克维尔，1985年，第67-86页。；C.E.Molnar、T.P.Fang、F.U.Rosenberger，《延迟敏感模块的合成》，摘自：H.Fuchs（编辑），Proc。1985年《超大规模集成电路教堂山会议》，计算机科学出版社，马里兰州罗克维尔，1985年，第67-86页。 [33] E.F.Moore，Gedanken在时序机器上的实验，见：C.E.Shannon，J.McCarthy（编辑），《自动化研究》，《数学研究年鉴34》，普林斯顿大学出版社，新泽西州普林斯顿，1956年，第129-153页。；E.F.Moore，Gedanken在时序机器上的实验，见：C.E.Shannon，J.McCarthy（编辑），《自动化研究》，《数学研究年鉴34》，普林斯顿大学出版社，新泽西州普林斯顿，1956年，第129-153页·兹伯利0074.11204 [34] D.E.Muller，W.C.Bartky，异步电路理论，Proc。国际交响乐团。《交换理论》，《哈佛大学计算机实验室年鉴》，第29卷，1959年，第204-243页。；D.E.Muller，W.C.Bartky，异步电路理论，Proc。国际交响乐团。《交换理论》，《哈佛大学计算机实验室年鉴》，第29卷，1959年，第204-243页·Zbl 0171.37902号 [35] H.Schols，泡沫橡胶包装原理的形式化，埃因霍温理工大学数学与计算科学系硕士论文，荷兰埃因霍芬，1985年2月。；H.Schols，《泡沫橡胶包装原理的形式化》，荷兰埃因霍温工业大学数学与计算科学系硕士论文，1985年2月。 [36] H.Schols，延迟敏感通信，博士论文，埃因霍温理工大学数学与计算科学系，荷兰埃因霍芬，1985年2月。；H.Schols，延迟敏感通信，博士论文，埃因霍温理工大学数学与计算科学系，荷兰埃因霍芬，1985年2月·Zbl 0794.94001号 [37] C-J.H.Seger，异步电路中竞争分析的模型和算法，加拿大安大略省滑铁卢市滑铁卢大学计算机科学系博士论文，1988年5月，第186页；C-J.H.Seger，异步电路中竞争分析的模型和算法，加拿大安大略省滑铁卢市滑铁卢大学计算机科学系博士论文，1988年5月，第186页 [38] Seger，C-J.H.，关于速度相关电路的存在性，理论。计算。科学。，86, 2, 343-364 (1991) ·Zbl 0729.94023号 [39] 塞格，C-J。；Brzozowski，J.A.，时序电路的广义三值模拟，理论。通知。申请\(28, 3/4, 159-186 (1994)\) ·Zbl 0879.94040号 [40] N.Shintel，M.Yoeli，《从Petri-net规范合成模块化网络》，技术报告#743，以色列海法Technion计算机科学部，1992年6月。；N.Shintel，M.Yoeli，《从Petri-net规范合成模块化网络》，技术报告#743，以色列海法Technion计算机科学部，1992年6月。 [41] J.T.Udding，延迟敏感电路的分类和组成，博士论文，埃因霍温理工大学数学和计算科学系，荷兰埃因霍芬，1984年9月。；J.T.Udding，延迟敏感电路的分类和组成，博士论文，埃因霍温理工大学数学和计算科学系，荷兰埃因霍芬，1984年9月·Zbl 0545.94020号 [42] J.T.Udding，《关于不存在对延迟敏感的公平仲裁人》，技术备忘录306，密苏里州圣路易斯华盛顿大学计算机系统实验室，1885年7月。；J.T.Udding，《关于不存在对延迟不敏感的公平仲裁者》，技术备忘录306，华盛顿大学计算机系统实验室，密苏里州圣路易斯，1885年7月。 [43] Udding，J.T.，定义和分类延迟敏感电路和系统的形式化模型，分布式计算。，1, 4, 197-204 (1986) [44] Unger，S.H.，《异步顺序开关电路中的危险和延迟》，IRE Trans。电路理论，CT-6，12-25（1959） [45] Unger，S.H.，《异步顺序开关电路》（1969年），Wiley-Interscience:Wiley-Interscience纽约 [46] van Berkel，K.，《握手电路》（1993），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 0875.68551号 [47] J.L.A.van de Snepscheut，迹理论和VLSI设计，博士论文，埃因霍温理工大学计算科学系，荷兰埃因霍芬，1983年5月。另外，《计算机科学讲义》，第200卷，施普林格，柏林，1985年。；J.L.A.van de Snepscheut，追踪理论和超大规模集成电路设计，荷兰埃因霍温理工大学计算科学系博士论文，1983年5月。另外，《计算机科学讲义》，第200卷，柏林斯普林格，1985年·Zbl 0616.68001号 [48] T.Verhoeff，延迟敏感通信协议的特征，计算科学笔记第（89/\）号；T.Verhoeff，延迟敏感通信协议的特征，计算科学笔记第（89/\）号 [49] T.Verhoeff，延迟敏感系统理论，博士论文，埃因霍温理工大学数学与计算科学系，荷兰埃因霍芬，1994年5月。；T.Verhoeff，延迟敏感系统理论，博士论文，埃因霍温理工大学数学与计算科学系，荷兰埃因霍芬，1994年5月·Zbl 0900.68067号 [50] H.Zhang，延迟敏感网络，MMath论文，滑铁卢大学计算机科学系，加拿大安大略省滑铁卢，1997年6月。；H.Zhang，延迟不敏感网络，加拿大安大略省滑铁卢市滑铁卢大学计算机科学系硕士论文，1997年6月。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。