约翰·奥利里;杰弗里·布朗;卢克，韦恩 已验证将通信过程编译为时钟电路。 （英语） Zbl 0905.68038号 正式Asp。计算。 9，第5-6号，537-559（1997）. MSC公司： 68N20型 编译与解释理论 68M99型 计算机系统组织 关键词：协议转换;定时执行 PDF格式BibTeX公司 XML格式引用 \textit{J.O'Leary}等人，《正式Asp》。计算。9，编号5--6537--559（1997；Zbl 0905.68038） 全文： 内政部 参考文献： [1] Brown，G.，Luk，W.和O'Leary，J.：使用协议转换器重新定位硬件编译器。计算的形式方面，8209-237（1996）·Zbl 0846.68019号 ·doi:10.1007/BF011214557 [2] Brown，G.M.：过程代数的真正延迟无关电路实现。《设计正确的电路》，Jones，G.和Sheeran，M.（编辑），第120-131页。Springer-Verlag，1991年。 [3] Burch，J.R.：用迹理论建模时间假设。国际计算机设计会议，第208-211页，1989年。 [4] Dill，D.L.：速度无关电路自动分层验证的跟踪理论。麻省理工学院出版社，1989年。 [5] He，J.：过程模拟和优化。计算的形式方面，1229-241（1989）·Zbl 0696.68099号 ·doi:10.1007/BF01887207 [6] He，J.，Brown，G.，Luk，W.和O'Leary，J.W.：为多目标硬件编译器推导两阶段模块。《设计正确的电路》，施普林格计算机系列电子研讨会，1996年。 [7] Hoare，C.A.R.：通信顺序过程。普伦蒂斯·霍尔国际，1985年·Zbl 0637.68007号 [8] He，J.，Page，I.和Bowen，J.：实现Occam的显著正确硬件实现。《正确的硬件设计和验证方法》，《计算机科学讲义》第683卷，第214-225页，Springer-Verlag出版社，1993年。 [9] Jones，G.《occam编程》。普伦蒂斯·霍尔国际，1987年·Zbl 0771.68009号 [10] O'Leary，J.和Brown，G.：数字电路验证模型。《信息学报》，1997年出版。 [11] O'Leary，J.W.：用于验证用于通信进程的硬件编译器的模型和证明技术。康奈尔大学博士论文，1995年。 [12] Page，I.和Luk，W.：将occam编译为FPGA。FPGAs，Moore，W.和Luk，W.（编辑），第271-283页，Abingdon EE&CS Books，英国阿宾顿，1991年。 [13] van Berkel，K.：握手电路：VLSI编程的异步架构。剑桥大学出版社，1993年·Zbl 0875.68551号 [14] Verhoeff，T.：时滞不敏感系统理论。1994年，埃因霍温理工大学博士论文·Zbl 0900.68067号 [15] Weber，S.、Bloom，B.和Brown，G.M.：将欢乐编译成硅。超大规模集成电路和并行系统的高级研究：1992年布朗/麻省理工会议论文集，第79-981992页。 [16] Wenban，A.S.、O'Leary，J.W.和Brown，G.M.：通信协议的协同设计。计算机，26（12），46-52（1993）·Zbl 05091442号 ·doi:10.1009/22.47651 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。