×
杰弗里·布朗;卢克，韦恩;约翰·奥利里

使用协议转换器重新定位硬件编译器。 （英语） Zbl 0846.68019号

正式Asp。计算。 8，第2期，209-237（1996）.

引用于1文件

MSC公司：

68N20型 编译与解释理论
68米99 计算机系统组织

关键词：

类似occam的程序
PDF格式BibTeX公司 XML格式引用
\textit{G.Brown}等人，正式Asp。计算。8，第2号，209--237（1996；Zbl 0846.68019）
全文： 内政部

参考文献：

[1] Burns，S.M.和Martin，A.J.：通过程序转换合成自定时电路。《超大规模集成电路高级研究：麻省理工学院第五届会议论文集》，第35-50页，1988年。
[2] Brown，G.M.：面向过程代数的真正延迟不敏感电路实现。在Geraint Jones和Mary Sheeran，编辑，《设计正确的电路》，第120-131页。Springer-Verlag，1991年。
[3] Brunvand，E.和Sproull，R.F.：将并发通信程序转换为延迟敏感电路。技术报告CMU-CS-89-126，卡内基梅隆大学，1989年。
[4] Burns，S.M.：将并发程序自动编译为自定时电路。加州理工学院硕士论文，1987年12月。
[5] Dill，D.L.：速度无关电路自动分层验证的跟踪理论。麻省理工学院出版社，1989年。
[6] Ebergen，J.C：将程序转换为对延迟不敏感的电路。1987年，埃因霍温理工大学博士论文·Zbl 0659.94019号
[7] 正式系统（欧洲）有限公司。FDR用户手册和教程，1993年。
[8] Furber，S.：异步逻辑的回归。IEE审查，第159-162页，1993年7月。
[9] Gopalakrishnan，G.和Akella，V.：VLSI异步系统：规范和合成。微传感器和微系统，16（10）：517-5271992·doi:10.1016/0141-9331（92）90081-4
[10] Hoare，C.A.R.：通信顺序过程。普伦蒂斯·霍尔国际，1985年·Zbl 0637.68007号
[11] Josephs，M.B.：接受过程理论。《信息学报》，29:17-31992年·doi:10.1007/BF01178564
[12] Martin，A.J.：探针：通信原语的添加。信息处理信件，20:125-1301985·Zbl 0586.68023号 ·doi:10.1016/0020-0190（85）90078-X
[13] Martin，A.J.：将通信过程编译成延迟敏感VLSI电路。分布式计算，1:226-2341986·Zbl 0643.94039号 ·doi:10.1007/BF01660034
[14] Martin，A.J.：自定时VLSI电路的合成方法。国际计算机设计会议，第224-229页，1987年。
[15] Niessen，C.、van Berkel，C.H.、Rem，M.和Saeijs，R.W.J.：超大规模集成电路编程和硅编译；飞利浦研究公司的一种新方法。国际计算机设计会议，第150-151页。IEEE，1988年10月。
[16] Page，I.和Luk，W.：将occam编译为FPGA。在W.Moore和W.Luk，FPGA编辑，第271-283页，英国阿宾顿，1991年。阿宾顿EE和CS图书。
[17] Seitz，C.L.：系统定时。卡弗·米德（Carver Mead）和林恩·康韦（Lynn Conway），《超大规模集成电路系统简介》（Introduction to VLSI Systems），第218-262页。艾迪森·韦斯利，1980年。
[18] 萨瑟兰，I.E.：微管道。ACM通讯，32（6）：720-7381989年6月·数字对象标识代码：10.1145/63526.3532
[19] Smith，S.F.和Zwarico，A.E.：《异步电路的显著正确合成》，Jörgen Staunstrup和Robin Sharp，itors著，《设计正确电路的第二次研讨会》，林比，第237-260页。爱思唯尔，北荷兰，1992年·Zbl 0759.94022号
[20] Udding，J.T.：定义和分类延迟敏感电路和系统的正式模型。分布式计算，1:197-2041986·doi:10.1007/BF01660032
[21] van Berkel，K.：握手电路：VLSI编程的异步架构。剑桥国际并行计算系列第5名。剑桥大学出版社，1993年·Zbl 0875.68551号
[22] van Berkel，K.：具有恒定响应时间和恒定功率的模N计数器的VLSI编程。S.Furber和M Edwards，《异步设计方法》编辑，IFIP事务A-28，第1-12页。爱思唯尔，北荷兰，1993年。
[23] Weber，S.、Bloom，B.和Brown，G.M.：将欢乐编译成硅。超大规模集成电路和并行系统高级研究：1992年布朗/麻省理工会议论文集，第79-98页。麻省理工学院出版社，1992年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。