DocumentCode
1657279
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
Volume
3
fYear
2001
fDate
6/23/1905 12:00:00 AM
Firstpage
1635
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronics, Circuits and Systems, 2001. ICECS 2001. The 8th IEEE International Conference on
Print_ISBN
0-7803-7057-0
Type
conf
DOI
10.1109/ICECS.2001.957532
Filename
957532
Link To Document