Algebraic support for transformational hardware allocation
暂无分享,去创建一个
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.
[1] Nikil D. Dutt,et al. An algorithm for the allocation of functional units from realistic RT component libraries , 1994, Proceedings of 7th International Symposium on High-Level Synthesis.
[2] Peter Padawitz,et al. Computing in Horn Clause Theories , 1988, EATCS Monographs on Theoretical Computer Science.