Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleSymbolic Algebra and Timing Driven Data-flow Synthesis
Author(s) Giovanni De Micheli, Armita Peymandoust
TypeArticle in Conference Proceedings
AbstractThe growing market of multi-media applications has required the development of complex ASICs with significant data-path portions. Unfortunately, most highlevel synthesis tools and methods cannot automatically synthesize data paths such that complex arithmetic library blocks are intelligently used. Symbolic computer algebra has been previously used to automate mapping data flow into a minimal set of complex arithmetic components. In this paper, we present extensions to the previous methods in order to find the minimal critical path delay (CPD) mapping. A new algorithm is proposed that incorporates symbolic manipulations such as tree-height-reduction, factorization, expansion, and Horner transformation.
Such manipulations are used as guidelines in initial library element selection. Furthermore, we demonstrate how substitution can be used for multi-expression component sharing and critical path delay optimization.
Translation No
Refereed No