Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

scholarly article

en

Truong, Lenny; Hanrahan, Pat

https://www.dagstuhl.de/lipics

A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity

Abstract Leading experts have declared that there is an impending golden age of computer architecture. During this age, the rate at which architects will be able to innovate will be directly tied to the design and implementation of the hardware description languages they use. Thus, the programming languages community stands on the critical path to this new golden age. This implies that we are also on the cusp of a golden age of hardware description languages. In this paper, we discuss the intellectual challenges facing researchers interested in hardware description language design, compilers, and formal methods. The major theme will be identifying opportunities to apply programming language techniques to address issues in hardware design productivity. Then, we present a vision for a multi-language system that provides a framework for developing solutions to these intellectual problems. This vision is based on a meta-programmed host language combined with a core embedded hardware description language that is used as the basis for the research and development of a sea of domain-specific languages. Central to the design of this system is the core language which is based on an abstraction that provides a general mechanism for the composition of hardware components described in any language.

BibTeX - Entry

@InProceedings{truong_et_al:LIPIcs:2019:10550, author = {Lenny Truong and Pat Hanrahan}, title = {{A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {7:1--7:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, editor = {Benjamin S. Lerner and Rastislav Bod{\'i}k and Shriram Krishnamurthi}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10550}, URN = {urn:nbn:de:0030-drops-105508}, doi = {10.4230/LIPIcs.SNAPL.2019.7}, annote = {Keywords: Hardware Description Languages} }