Pollux, a Lustre-based hardware design environment

Abstract:
This paper presents a high-level hardware design environment called Pollux. A design description is written with the Lustre data-flow language, and used by the different Pollux tools to produce the corresponding synchronous circuit or, for example, a simulation program, that can be compiled and executed on a sequential machine. Lustre has been chosen because it is well-suited to hardware description, but it has also been extended to become a full synchronous hardware description language. The first extension allows the description of a floorplan to be included in a Lustre program. Other extensions (arrays, recursion or parameterized subprograms) have been introduced in order to make simpler the description of large designs, without losing the primitive advantages of the language, especially precision and clarity. The circuits generated by Pollux are currently used to configure a Programmable Active Memory, where they can be executed.

Reference:

   @INPROCEEDINGS{pollux:bonas,
      AUTHOR={F. Rocheteau and N. Halbwachs},
      TITLE={Pollux, A Lustre-based hardware design environment},
      BOOKTITLE={Conference on Algorithms and Parallel VLSI Architectures II},
      ADDRESS = {Chateau de Bonas},
      EDITOR = {P. Quinton and Y. Robert},
      MONTH = {June },
      YEAR= {1991}
   }

Postscript file