DocumentCode
3442129
Title
Algebraic support for transformational hardware allocation
Author
Mendías, J.M. ; Hermida, R. ; Fernández, M.
Author_Institution
Comput. Archit. Group, Univ. Complutense de Madrid, Spain
fYear
1996
fDate
11-14 Mar 1996
Firstpage
601
Abstract
Hardware reusability in high-level synthesis is based on the possibility of mapping several operators to the same hardware module. This possibility may dramatically depend on the ability of the design tool to recognize operators that can mapped to a single module. This work presents a uniform framework to formally express the semantics of hardware modules, in order to support transformational hardware allocation based on symbolic reasoning
Keywords
Horn clauses; high level synthesis; inference mechanisms; logic CAD; design tool; hardware module; hardware reusability; high-level synthesis; semantics; symbolic reasoning; transformational hardware allocation; Computer science; Equations; Hardware; High level synthesis; Libraries;
fLanguage
English
Publisher
ieee
Conference_Titel
European Design and Test Conference, 1996. ED&TC 96. Proceedings
Conference_Location
Paris
ISSN
1066-1409
Print_ISBN
0-8186-7424-5
Type
conf
DOI
10.1109/EDTC.1996.494365
Filename
494365
Link To Document