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 gene...

Full description

Saved in:
Bibliographic Details
Published in:2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) pp. 824 - 829
Main Authors: Patil, Nikhil, Bansal, Ankit, Chiou, Derek
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 05.06.2011
IEEE
Series:ACM Conferences
Subjects:
Architecture
Computer architecture
Contracts
E-unification
Equations
Hardware
Hardware > Electronic design automation > High-level and register-transfer level synthesis
Hardware > Electronic design automation > Methodologies for EDA
Hardware > Integrated circuits > Logic circuits > Arithmetic and datapath circuits
Hardware > Integrated circuits > Logic circuits > Design modules and hierarchy
Microarchitecture
Pipelines
Registers
synthesis
synthesis
unification
microarchitecture
architecture
ISBN:1450306365, 9781450306362
ISSN:0738-100X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:1450306365
9781450306362
ISSN:0738-100X
DOI:10.1145/2024724.2024909