License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-11055
URL: http://drops.dagstuhl.de/opus/volltexte/2007/1105/
Go to the corresponding Portal


Singh, Gaurav ; Ravi, S. S. ; Ahuja, Sumit ; Shukla, Sandeep

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications

pdf-format:
Document 1.pdf (300 KB)


Abstract

Concurrent Action Oriented Specifications (CAOS) formalism such as Bluespec Inc.'s Bluespec System Verilog (BSV) has been recently shown to be effective for hardware modeling and synthesis. This formalism offers the benefits of automatic handling of concurrency issues in highly concurrent system descriptions, and the associated synthesis algorithms have been shown to produce efficient hardware comparable to those generated from hand-written Verilog/VHDL. These benefits which are inherent in such a synthesis process also aid in faster architectural exploration. This is because CAOS allows a high-level description (above RTL) of a design in terms of atomic transactions, where each transaction corresponds to a collection of operations. Optimal scheduling of such actions in CAOS-based synthesis process is crucial in order to generate hardware that is efficient in terms of area, latency and power. In this paper, we analyze the complexity of the scheduling problems associated with CAOS-based synthesis and discuss several heuristics for meeting the peak power goals of designs generated from CAOS. We also discuss approximability of these problems as appropriate.

BibTeX - Entry

@InProceedings{singh_et_al:DSP:2007:1105,
  author =	{Gaurav Singh and S. S. Ravi and Sumit Ahuja and Sandeep Shukla},
  title =	{Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications},
  booktitle =	{Power-aware Computing Systems},
  year =	{2007},
  editor =	{Luca Benini and Naehyuck Chang and Ulrich Kremer and Christian W. Probst},
  number =	{07041},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/1105},
  annote =	{Keywords: Hardware Synthesis, Concurrent Action Oriented Specifications (CAOS), Scheduling, Complexity, Peak Power.}
}

Keywords: Hardware Synthesis, Concurrent Action Oriented Specifications (CAOS), Scheduling, Complexity, Peak Power.
Seminar: 07041 - Power-aware Computing Systems
Issue Date: 2007
Date of publication: 30.07.2007


DROPS-Home | Fulltext Search | Imprint Published by LZI