muFP, a language for VLSI design

@inproceedings{Sheeran1984muFPAL,
  title={muFP, a language for VLSI design},
  author={M. Sheeran},
  booktitle={LFP '84},
  year={1984}
}
  • M. Sheeran
  • Published in LFP '84 1984
  • Computer Science
  • In this paper, we present a VLSI design language μFP, which is a variant of Backus' FP [Backus 78, 81]. μFP differs from conventional VLSI design languages in that it can describe both the semantics (or behaviour) of a circuit and its layout (or floorplan) [Sheeran 83]. We chose to base our design language on FP for several reasons. Functional programs are easier to write and to reason about than imperative ones. We hope to bring some of these benefits to IC design. FP, in particular, is… CONTINUE READING

    Figures and Topics from this paper.

    A mathematical approach towards hardware design
    • 294
    • PDF
    Hardware Description with Recursion Equations
    • 31
    Functional netlists
    • 2
    A calculus for hardware description
    • 4
    • PDF
    LUSTRE: A declarative language for programming synchronous systems*
    • 617
    Declarative FPGA Circuit Synthesis using Kansas Lava
    • 9
    • PDF
    Coquet: A Coq Library for Verifying Hardware
    • 17
    • PDF

    References

    Publications referenced by this paper.
    Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
    • 2,332
    • Highly Influential
    • PDF