Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications

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

Thumbnail PDF


  • Filesize: 299 kB
  • 25 pages

Document Identifiers

Author Details

Gaurav Singh
S. S. Ravi
Sumit Ahuja
Sandeep Shukla

Cite AsGet BibTex

Gaurav Singh, S. S. Ravi, Sumit Ahuja, and Sandeep Shukla. Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. In Power-aware Computing Systems. Dagstuhl Seminar Proceedings, Volume 7041, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


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.
  • Hardware Synthesis
  • Concurrent Action Oriented Specifications (CAOS)
  • Scheduling
  • Complexity
  • Peak Power.


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads