Synchronous Digital Circuits as Functional Programs

Peter Gammie

doi:10.1145/2543581.2543588

Synchronous Digital Circuits as Functional Programs

Peter Gammie^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

13 Citations (Scopus)

Abstract

Functional programming techniques have been used to describe synchronous digital circuits since the early 1980s. Here we survey the systems and formal underpinnings that constitute this tradition. We situate these techniques with respect to other formal methods for hardware design and discuss the work yet to be done. Categories and Subject Descriptors: A.1 [General Literature]: Introductory and Survey; B.5.2 [Register-transfer-level Implementation]: Design Aids—Automatic synthesis; Hardware Description Languages; B.6.3 [Logic Design]: Design Aids—Automatic synthesis; Hardware Description Languages; B.7.2 [Integrated Circuits]: Design Aids—Layout; Simulation; Verification; D.3.2 [Software]: Programming Languages—Applicative (functional) languages.

Original language	English
Pages (from-to)	1-27
Number of pages	27
Journal	ACM Computing Surveys
Volume	46
Issue number	2
DOIs	https://doi.org/10.1145/2543581.2543588
Publication status	Published - 1 Nov 2013

Access to Document

10.1145/2543581.2543588

Cite this

@article{37301f9d17564858b58976ee2cef40bc,

title = "Synchronous Digital Circuits as Functional Programs",

abstract = "Functional programming techniques have been used to describe synchronous digital circuits since the early 1980s. Here we survey the systems and formal underpinnings that constitute this tradition. We situate these techniques with respect to other formal methods for hardware design and discuss the work yet to be done. Categories and Subject Descriptors: A.1 [General Literature]: Introductory and Survey; B.5.2 [Register-transfer-level Implementation]: Design Aids—Automatic synthesis; Hardware Description Languages; B.6.3 [Logic Design]: Design Aids—Automatic synthesis; Hardware Description Languages; B.7.2 [Integrated Circuits]: Design Aids—Layout; Simulation; Verification; D.3.2 [Software]: Programming Languages—Applicative (functional) languages.",

keywords = "Circuits, design, functional programming",

author = "Peter Gammie",

year = "2013",

month = nov,

day = "1",

doi = "10.1145/2543581.2543588",

language = "English",

volume = "46",

pages = "1--27",

journal = "ACM Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "2",

}

TY - JOUR

T1 - Synchronous Digital Circuits as Functional Programs

AU - Gammie, Peter

PY - 2013/11/1

Y1 - 2013/11/1

N2 - Functional programming techniques have been used to describe synchronous digital circuits since the early 1980s. Here we survey the systems and formal underpinnings that constitute this tradition. We situate these techniques with respect to other formal methods for hardware design and discuss the work yet to be done. Categories and Subject Descriptors: A.1 [General Literature]: Introductory and Survey; B.5.2 [Register-transfer-level Implementation]: Design Aids—Automatic synthesis; Hardware Description Languages; B.6.3 [Logic Design]: Design Aids—Automatic synthesis; Hardware Description Languages; B.7.2 [Integrated Circuits]: Design Aids—Layout; Simulation; Verification; D.3.2 [Software]: Programming Languages—Applicative (functional) languages.

AB - Functional programming techniques have been used to describe synchronous digital circuits since the early 1980s. Here we survey the systems and formal underpinnings that constitute this tradition. We situate these techniques with respect to other formal methods for hardware design and discuss the work yet to be done. Categories and Subject Descriptors: A.1 [General Literature]: Introductory and Survey; B.5.2 [Register-transfer-level Implementation]: Design Aids—Automatic synthesis; Hardware Description Languages; B.6.3 [Logic Design]: Design Aids—Automatic synthesis; Hardware Description Languages; B.7.2 [Integrated Circuits]: Design Aids—Layout; Simulation; Verification; D.3.2 [Software]: Programming Languages—Applicative (functional) languages.

KW - Circuits

KW - design

KW - functional programming

UR - http://www.scopus.com/inward/record.url?scp=84963760410&partnerID=8YFLogxK

U2 - 10.1145/2543581.2543588

DO - 10.1145/2543581.2543588

M3 - Article

SN - 0360-0300

VL - 46

SP - 1

EP - 27

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 2

ER -

Synchronous Digital Circuits as Functional Programs

Abstract

Access to Document

Other files and links

Fingerprint

Cite this