• DocumentCode
    549539
  • Title

    Enforcing architectural contracts in high-level synthesis

  • Author

    Patil, Nikhil ; Bansal, Ankit ; Chiou, Derek

  • Author_Institution
    Univ. of Texas at Austin, Austin, TX, USA
  • fYear
    2011
  • fDate
    5-9 June 2011
  • Firstpage
    824
  • Lastpage
    829
  • Abstract
    We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (b) a microarchitecture on which the architectural contract can be implemented. We describe a prototype compiler that generates control required to enforce the contract, and thus, synthesizes the pair of descriptions to hardware.
  • Keywords
    contracts; high level synthesis; languages; reconfigurable architectures; architectural contracts; high-level synthesis; microarchitecture; Computer architecture; Contracts; Equations; Hardware; Microarchitecture; Pipelines; Registers; Architecture; E-unification; microarchitecture; synthesis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE
  • Conference_Location
    New York, NY
  • ISSN
    0738-100x
  • Print_ISBN
    978-1-4503-0636-2
  • Type

    conf

  • Filename
    5981874
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=549539