A declarative framework for developing parametrised hardware libraries

This paper describes a framework for producing pararmetrised hardware libraries based on Pebble, a simple declarative language. A family of languages based on Pebble are presented that span various levels of abstraction, from higher-order polymorphic descriptions to flattened netlists. We discuss the mechanisms, such as pass separation, that relate descriptions at different levels of abstraction, and indicate how these mechanisms provide an infrastructure in which correctness of design and design tools can be established.