Sequencing Graph and Resource Model

  • David C. Ku
  • Giovanni De Micheli
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 177)


This chapter presents the graph-based model of hardware behavior that is used as the underlying representation for the synthesis algorithms in Hebe. A hierarchical sequencing graph is used to model hardware behavior for synthesis. The hardware behavior is assumed to be synchronous and non-pipelined. As with other hardware models, both control-flow and data-flow dependencies are represented by the sequencing graph model. Its main distinction is that it uniformly supports concurrency, synchronization, and detailed timing constraints. Synthesis algorithms operating on this model can guarantee that the resulting design satisfies the imposed constraints, or indicate when no such solution exists. The use of this model decouples the synthesis algorithms from the HardwareC language. In particular, different hardware description languages can be supported by compiling them into this model. The Sequencing Intermediate Form is an ASCII representation of the sequencing graph which is used as an interchange format facilitating communication between different tools, i.e. the Vulcan partitioner [GM90] and Hebe both use the SIF format.


Hardware Resource Resource Model Combinational Logic Constraint Graph Loop Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1992

Authors and Affiliations

  • David C. Ku
    • 1
  • Giovanni De Micheli
    • 2
  1. 1.Redwood Design AutomationStanford UniversityUSA
  2. 2.Stanford UniversityUSA

Personalised recommendations