skip to main content
10.1145/1411204.1411253acmconferencesArticle/Chapter ViewAbstractPublication PagesicfpConference Proceedingsconference-collections
research-article

Functional netlists

Published: 20 September 2008 Publication History

Abstract

In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description languages have been developed. Like conventional hardware description languages, however, functional hardware description languages eventually convert all source programs into netlists, which describe wire connections in hardware circuits at the lowest level and conceal all high-level descriptions written into source programs.
We develop a variant of the lambda calculus, called lλ (linear lambda), which may serve as a high-level substitute for netlists. In order to support higher-order functions, lλ uses a linear type system which enforces the linear use of variables of function type. The translation of lλ into structural descriptions of hardware circuits is sound and complete in the sense that it maps expressions only to realizable hardware circuits and that every realizable hardware circuit has a corresponding expression in lλ. To illustrate the use of lλ as a high-level substitute for netlists, we design a simple hardware description language that extends lλ with polymorphism, and use it to implement a Fast Fourier Transform circuit.

Supplementary Material

JPG File (1411253.jpg)
index.html (index.html)
Slides from the presentation
ZIP File (p353-slides.zip)
Supplemental material for: Functional netlists
Audio only (1411253.mp3)
Video (1411253.mp4)

References

[1]
Emil Axelsson, Koen Claessen, and Mary Sheeran. Wired: wireaware circuit design. In Proceedings of Conference on Correct Hardware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag, 2005.
[2]
Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: hardware design in Haskell. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, pages 174--184. ACM Press, 1998.
[3]
Raymond T. Boute. Functional languages and their application to the description of digital systems. Journal A, 25(1):27--33, 1984.
[4]
Luca Cardelli and Gordon Plotkin. An algebraic approach to VLSI design. In Proceedings of the VLSI 81 International Conference, pages 173--182, 1981.
[5]
Koen Claessen and David Sands. Observable sharing for functional circuit description. In ASIAN '99: Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science, pages 62--73. Springer-Verlag, 1999.
[6]
Dan R. Ghica. Geometry of synthesis: a structured approach to VLSI design. In Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 363--375. ACM Press, 2007.
[7]
Jim Grundy, Tom Melham, and John O'Leary. A reflective functional language for hardware design and theorem proving. Journal of Functional Programming, 16(2):157--196, 2006.
[8]
Steven D. Johnson. Applicative programming and digital design. In Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 218--227. ACM Press, 1984.
[9]
Geraint Jones and Mary Sheeran. Circuit design in Ruby. Formal Methods in VLSI Design, pages 13--70, 1990.
[10]
Yanbing Li and Miriam Leeser. HML, a novel hardware description language and its translation to VHDL. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 8(1):1--8, 2000.
[11]
John Matthews, Byron Cook, and John Launchbury. Microprocessor specification in Hawk. In Proceedings of the 1998 International Conference on Computer Languages, page 90. IEEE, 1998.
[12]
F. Meshkinpour and Milos D. Ercegovac. A functional language for description and design of digital systems: sequential constructs. In Proceedings of the 22nd ACM/IEEE conference on Design automation, pages 238--244. ACM press, 1985.
[13]
Alan Mycroft and Richard Sharp. A statically allocated parallel functional language. In ICALP '00: Proceedings of the 27th International Colloquium on Automata, Languages and Programming, pages 37--48. Springer-Verlag, 2000.
[14]
John J. O'Donnell. From transistors to computer architecture: Teaching functional circuit specification in Hydra. In Proceedings of the First International Symposium on Functional Programming Languages in Education, pages 195--214. Springer-Verlag, 1995.
[15]
John T. O'Donnell. Generating netlists from executable circuit specifications. In Proceedings of the 1992 Glasgow Workshop on Functional Programming, pages 178--194. Springer-Verlag, 1993.
[16]
Peter O'Hearn. On bunched typing. Journal of Functional Programming, 13(4):747--796, 2003.
[17]
Robin Sharp and Ole Rasmussen. Using a language of functions and relations for VLSI specification. In Proceedings of the seventh international conference on Functional programming languages and computer architecture, pages 45--54. ACM Press, 1995.
[18]
Mary Sheeran. Hardware design and functional programming: a perfect match. The Journal of Universal Computer Science, 11 (7):1135--1158, 2005.
[19]
Mary Sheeran. muFP, a language for VLSI design. In Proceedings of the 1984 ACM Symposium on LISP and functional programming, pages 104--112. ACM Press, 1984.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
September 2008
422 pages
ISBN:9781595939197
DOI:10.1145/1411204
  • cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 43, Issue 9
    ICFP '08
    September 2008
    399 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/1411203
    Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 September 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. functional language
  2. hardware description language
  3. linear type system

Qualifiers

  • Research-article

Conference

ICFP08
Sponsor:

Acceptance Rates

Overall Acceptance Rate 333 of 1,064 submissions, 31%

Upcoming Conference

ICFP '25
ACM SIGPLAN International Conference on Functional Programming
October 12 - 18, 2025
Singapore , Singapore

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media