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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) s. 824 - 829
Hlavní autoři:	Patil, Nikhil, Bansal, Ankit, Chiou, Derek
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 05.06.2011 IEEE
Edice:	ACM Conferences
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!