A Short Historical Survey of Functional Hardware Languages-Reference-Cited by-同舟云学术

A Short Historical Survey of Functional Hardware Languages

Published:2012-03-26 Issue: Volume:2012 Page:1-11
ISSN:2090-8679
Container-title:ISRN Electronics
language:en
Short-container-title:ISRN Electronics

Author:

Chen Gang¹

Affiliation:

1. Lingcore Laboratory, 2721 Grand Oaks Loop, Cedar Park, TX 78613, USA

Abstract

Functional programming languages offer a high degree of abstractions and clean semantics, which are desirable for hardware descriptions. This short historical survey is about functional languages specifically created for hardware design and verification. It also includes those hardware languages or formalisms which are strongly influenced by functional programming style.

Publisher

Hindawi Limited

Subject

General Engineering

Link

http://downloads.hindawi.com/archive/2012/271836.pdf

Reference29 articles.

1. An industrially effective environment for formal hardware verification

2. Formal verification in hardware design

3. The Vienna Definition Language

4. Representational and denotational semantics of digital systems

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

1. Formal verification of pipelined cryptographic circuits: A functional approach;Informatica;2021-12-17

2. Formal verification of cryptographic circuits;Proceedings of the 2nd International Conference on Networking, Information Systems & Security - NISS19;2019

3. Validity and Correctness Before the OS: the Case of LEO I and LEO II;Philosophical Studies Series;2018

4. Hardware Specification with C $$\varvec{\lambda }$$ aSH;Central European Functional Programming School;2015