Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
复制标题
综合几何 II：从游戏到延迟不敏感电路
DOI：
10.1016/j.entcs.2010.08.018
复制
发表时间：
2010
影响因子：
--
通讯作者：
Ghica D
中科院分区：
文献类型：
--
作者：
Ghica D
本文扩展了以前在数字电路中编译高阶命令式语言的工作[Ghica， D.R，合成几何：VLSI设计的结构化方法，in: POPL, 2007, pp. 363-375]。我们引入了并发性，这是硬件编译中的一个重要特性，我们重用了一个现有的游戏模型来简化正确性证明。我们编译的目标设计是异步事件逻辑电路，这与语言的异步游戏模型自然匹配。
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [Ghica, D.R., Geometry of Synthesis: a structured approach to VLSI design, in: POPL, 2007, pp. 363–375.]. We introduce concurrency, an essential feature in the context of hardware compilation and we re-use an existing game model to simplify correctness proofs. The target designs we compile to are asynchronous event-logic circuits, which naturally match the asynchronous game model of the language.
登录
查看更多内容
重新审视干扰的句法控制
DOI：
10.1016/s1571-0661(04)00026-x
发表时间：
1999
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
P. O'Hearn;J. Power;R. D. Tennent;M. Takeyama
通讯作者：
M. Takeyama
二阶理想化ALGOL的正则语言语义
DOI：
10.1016/s0304-3975(03)00315-3
发表时间：
2003
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
D. Ghica;G. McCusker
通讯作者：
G. McCusker
追溯过程代数中的一些路径
DOI：
10.1007/3-540-61604-7_44
发表时间：
1996
期刊：
ArXiv
影响因子：
--
作者：
S. Abramsky
通讯作者：
S. Abramsky
DOI：
10.1007/3-540-45793-3_17
发表时间：
2002
期刊：
Comput. Electr. Eng.
影响因子：
--
作者：
G. McCusker
通讯作者：
G. McCusker
OPLSS22：游戏语义
DOI：
10.1007/978-3-642-58622-4_1
发表时间：
1999
期刊：
Comput. Electr. Eng.
影响因子：
--
作者：
S. Abramsky
通讯作者：
S. Abramsky