Using rewriting to synthesize functional languages to digital circuits

C.P.R. Baaij, Jan Kuper

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
    66 Downloads (Pure)

    Abstract

    A straightforward synthesis from functional languages to digital circuits transforms variables to wires. The types of these variables determine the bit-width of the wires. Assigning a bit-width to polymorphic and function-type variables within this direct synthesis scheme is impossible. Using a term rewrite system, polymorphic and function-type binders can be completely eliminated from a circuit description, given only minor and reasonable restrictions on the input. The presented term rewrite system is used in the compiler for C\ensuremath{\lambda}aSH: a polymorphic, higher-order, functional hardware description language.
    Original languageUndefined
    Title of host publication14th International Symposium Trends in Functional Programming, TFP 2013
    EditorsJay McCarthy
    Place of PublicationBerlin
    PublisherSpringer
    Pages17-33
    Number of pages17
    ISBN (Print)978-3-642-45339-7
    DOIs
    Publication statusPublished - 2014
    Event14th International Symposium Trends in Functional Programming, TFP 2013 - Provo, UT, USA
    Duration: 14 May 201316 May 2013

    Publication series

    NameLecture notes in computer science
    PublisherSpringer Verlag
    Volume8322
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference14th International Symposium Trends in Functional Programming, TFP 2013
    Period14/05/1316/05/13
    Other14-16 May 2013

    Keywords

    • EWI-23904
    • IR-89215
    • METIS-305851
    • EC Grant Agreement nr.: FP7/610686

    Cite this