Synchronous digital circuits as functional programs-Reference-Cited by-同舟云学术

Synchronous digital circuits as functional programs

Published:2013-11 Issue:2 Volume:46 Page:1-27
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Gammie Peter¹

Affiliation:

1. The Australian National University and NICTA, Sydney

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.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Link

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

Reference152 articles.

1. Containers: Constructing strictly positive types

2. MiniAgda: Integrating Sized and Dependent Types

3. Proceedings of the 2000 Space Control Conference

4. Wired: Wire-Aware Circuit Design

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

1. Accelerating OCaml Programs on FPGA;International Journal of Parallel Programming;2023-01-24

2. Hardware Implementation of OCaml Using a Synchronous Functional Language;Lecture Notes in Computer Science;2023

3. Online anomaly search in time series: significant online discords;Knowledge and Information Systems;2020-03-09

4. The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware;ACM Transactions on Embedded Computing Systems;2019-02-28

5. Categorizing relational facts from the web with fuzzy rough sets;Knowledge and Information Systems;2018-08-31