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
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;
Conference_Titel :
Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE
Conference_Location :
New York, NY
Print_ISBN :
978-1-4503-0636-2
