A Mechanized Semantic Metalanguage for High Level Synthesis-Reference-Cited by-同舟云学术

A Mechanized Semantic Metalanguage for High Level Synthesis

Published:2021-09-06 Issue: Volume: Page:
ISSN:
Container-title:23rd International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Harrison William L.¹,Hathhorn Chris²,Allwein Gerard³

Affiliation:

1. Two Six Technologies, USA

2. Cyber Security Research Group, Oak Ridge National Laboratory, USA

3. US Naval Research Laboratory, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3479394.3479417

Reference65 articles.

1. Copatterns

2. David Andrews. 2015. Will the Future Success of Reconfigurable Computing Require a Paradigm Shift in Our Research Community’s Thinking?Keynote address Applied Reconfigurable Computing. David Andrews. 2015. Will the Future Success of Reconfigurable Computing Require a Paradigm Shift in Our Research Community’s Thinking?Keynote address Applied Reconfigurable Computing.

3. C. Baaij and J. Kuper. 2014. Using Rewriting to Synthesize Functional Languages to Digital Circuits. In Trends in Fun. Prog.(LNCS Vol. 8322). 17–33. C. Baaij and J. Kuper. 2014. Using Rewriting to Synthesize Functional Languages to Digital Circuits. In Trends in Fun. Prog.(LNCS Vol. 8322). 17–33.

4. Jonathan Bachrach Huy Vo Brian Richards Yunsup Lee Andrew Waterman Rimas Avizienis John Wawrzynek and Krste Asanovic. 2012. Chisel: constructing hardware in a Scala embedded language. In DAC. 1216–1225. Jonathan Bachrach Huy Vo Brian Richards Yunsup Lee Andrew Waterman Rimas Avizienis John Wawrzynek and Krste Asanovic. 2012. Chisel: constructing hardware in a Scala embedded language. In DAC. 1216–1225.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalized High Level Synthesis with Applications to Cryptographic Hardware;Lecture Notes in Computer Science;2023