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
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;
Conference_Titel :
European Design and Test Conference, 1996. ED&TC 96. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-7424-5
DOI :
10.1109/EDTC.1996.494365