Combining Imperative and Declarative Hardware Descriptions

  • Authors:
  • Tim Todman;Wayne Luk

  • Affiliations:
  • -;-

  • Venue:
  • HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes an approach for hardwaredevelopment that involves both imperative and declarative descriptions.The imperative descriptions are mainly used for algorithmand application development; they are based on Cobble,a sequential imperative language extended with facilities forparallel computation and arbitrary-sized variables, similar tothe Handel-C language. Operators in Cobble can be producedusing the declarative language Pebble, which supports efficientbit-level design. We introduce the use of meta-information,such as information about latency and throughput, for Pebbledescriptions, to enable Cobble programs to adapt to differentimplementations of operators in Pebble. The optimisation ofdesigns by transforming the Cobble and Pebble descriptions ispresented.