Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ku, D.C., De Micheli, G. (1992). Sequencing Graph and Resource Model. In: High Level Synthesis of ASICs under Timing and Synchronization Constraints. The Springer International Series in Engineering and Computer Science, vol 177. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2117-1_4
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2117-1_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5129-8
Online ISBN: 978-1-4757-2117-1
eBook Packages: Springer Book Archive