Title :
A declarative framework for developing parametrised hardware libraries
Author :
McKeever, Steve ; Luk, Wayne
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
fDate :
6/23/1905 12:00:00 AM
Abstract :
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
Keywords :
hardware description languages; integrated circuit design; logic CAD; software tools; Pebble declarative language; declarative framework; description abstraction levels; design correctness; design tools; flattened netlists; higher-order polymorphic descriptions; parametrised hardware libraries; pass separation; Adders; Circuits; Educational institutions; Field programmable gate arrays; Hardware; Logic design; Logic gates; Software libraries; Software tools; Wire;
Conference_Titel :
Electronics, Circuits and Systems, 2001. ICECS 2001. The 8th IEEE International Conference on
Print_ISBN :
0-7803-7057-0
DOI :
10.1109/ICECS.2001.957532
