A calculus for hardware description

DOI10.1017/S0956796810000249MaRDI QIDQ3021415zbMATH OpenOpenAlexFDO

Authors Sungwoo Park, Hyeonseung Im

Publication date 25 July 2011

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796810000249

zbMATH Keywords

functional languageshardware description languageslinear lambda (\(l\lambda\))

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Functional programming and lambda calculus (68N18)

Recommendations

• Functional Netlists
• scientific article; zbMATH DE number 1852161
• scientific article; zbMATH DE number 4033043
• Geometry of synthesis: a structured approach to VLSI design
• scientific article; zbMATH DE number 1979559

Cites work

• A reflective functional language for hardware design and theorem proving
• Functional Netlists
• Geometry of synthesis: a structured approach to VLSI design
• On bunched typing

Cited in

(5)

• Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware
• scientific article; zbMATH DE number 139806 (Why is no real title available?)
• -Ware: hardware description and verification in Agda
• Functional Netlists
• Expressible sharing for functional circuit description

This page was built for publication: A calculus for hardware description

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021415)