Application of shifted Popov form in high-level synthesis and verification for reconfigurable architectures

被引：0

作者：

Hu, J ^{[1
]}

Ma, GS ^{[1
]}

Feng, G ^{[1
]}

Lin, T ^{[1
]}

机构：

[1] Harbin Engn Univ, Dept Comp Sci & Technol, Harbin 150001, Heilongjiang, Peoples R China

来源：

EUROCON 2005: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOL 1 AND 2 , PROCEEDINGS | 2005年

关键词：

shifted Popov form; polynomial matrix; data flow synthesis; verification; reconfigurable architectures;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The development of next-generation computer-aided design tools and field reconfigurable architectures require efficient high-level data-flow synthesis. In this paper, we present the transform rules from polynomial presentation to polynomial matrix presentation and show how symbolic algebra can be used to construct arithmetic-level decomposition algorithm with extensibility that leads to efficient high-level synthesis of system. And the simple verification approach for reconfigurable architectures is given. On second thoughts, the parallelism of the mapping methodology for matrix multiplication is utilized to speed up the process of optimization. The key contribution of the work is to obtain a minimal state-space realization of the system.

引用

页码：503 / 506

页数：4

共 9 条

[1] BECKERMAN B, 2002, RR200201 ENS
[2] Beckermann B, 1999, ISSAC 99: PROCEEDINGS OF THE 1999 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, P189, DOI 10.1145/309831.309929
[3] CHENG H, 2003, THESIS U WATERLOO
[4] DEMICCHELI G, 1994, SYNTHESIS OPTIMIZATI
[5] Hannig F, 2004, 2004 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL V, PROCEEDINGS, P57
[6] LEE J, 2003, IEEE DES TEST COMPUT, P26
[7] Application of symbolic computer algebra in high-level data-flow synthesis
Peymandoust, A
De Micheli, G
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2003, 22 (09) : 1154 - 1165
[8] Polynomial circuit models for component matching in high-level synthesis
Smith, J
De Micheli, G
[J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2001, 9 (06) : 783 - 800
[9] STORJOHANN A, 1996, TR12196 ALCOMIT

← 1 →