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 :
بازگشت