License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2019.7
URN: urn:nbn:de:0030-drops-105508
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10550/
Go to the corresponding LIPIcs Volume Portal


Truong, Lenny ; Hanrahan, Pat

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

pdf-format:
LIPIcs-SNAPL-2019-7.pdf (0.4 MB)


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}
}

Keywords: Hardware Description Languages
Seminar: 3rd Summit on Advances in Programming Languages (SNAPL 2019)
Issue Date: 2019
Date of publication: 21.06.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI