Enforcing architectural contracts in high-level synthesis

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. Categories and Subject Descriptors B.5.2 [Register Transfer Level Implementation]: De

• Type: Journal
• Year: 2011
• Where: DAC
• Authors: Nikhil A. Patil, Ankit Bansal, Derek Chiou
• Keywords: Architectural Contract, Computer Architecture, DAC 2011, Prototype Compiler, Synthesis Technique