Retiming Arithmetic Datapaths using Timed Taylor Expansion Diagrams

被引：1

作者：

Gomez-Prado, Daniel ^{[1
]}

Kim, Dusung ^{[1
]}

Ciesielski, Maciej ^{[1
]}

Boutillon, Emmanuel ^{[2
]}

机构：

[1] Univ Massachusetts Amherst, Amherst, MA 01003 USA

[2] Univ Bretagne Sud, Lab STICC, Lorient, France

来源：

2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT) | 2010年

基金：

美国国家科学基金会;

关键词：

D O I：

10.1109/HLDVT.2010.5496664

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper describes an extension to the Taylor Expansion Diagrams (TED), called Timed TEDs, which makes it possible to represent sequential arithmetic datapaths. Timed TEDs enable register and clock period minimization while performing factorizations and common sub expression eliminations in the data flow graph (DFG). Specifically, timed TEDs allow a wider range of retiming options as the computations in the DFG can be modified while performing retiming. In this paper we discuss the formalism of timed TEDs and the restrictions it imposes on the TED variable ordering.

引用

页码：33 / 39

页数：7

共 50 条

[21] Using phase diagrams to deal with moisture expansion
Segadaes, AM
Carvalho, MA
Ferreira, HC
CERAMICS INTERNATIONAL, 2003, 29 (08) : 947 - 954
[22] Evaluation of Binary Decision Diagrams Complexity Using Relative Arithmetic Width
Radmanovic, Milos
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (10) : 3469 - 3473
[23] Joint structural and temporal property specification using timed story scenario diagrams
Klein, Florian
Giese, Holger
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4422 : 185 - +
[24] Symbolic model checking of timed guarded commands using difference decision diagrams
Moller, J
Hulgaard, H
Andersen, HR
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 53 - 77
[25] Modelling and analysis of asynchronous circuits and timing diagrams using parametric timed automata
Chen, CL
Lin, T
Yen, HC
PROCEEDINGS OF THE 23RD IASTED INTERNATIONAL CONFERENCE ON MODELLING, IDENTIFICATION, AND CONTROL, 2004, : 500 - 505
[26] Robust adaptive array using Taylor series expansion
Choi, Y. -H.
ELECTRONICS LETTERS, 2011, 47 (15) : 840 - U1918
[27] An extension of the Taylor series expansion by using the Bell polynomials
Mohammad Masjed-Jamei
Zahra Moalemi
Wolfram Koepf
H. M. Srivastava
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 2019, 113 : 1445 - 1461
[28] An extension of the Taylor series expansion by using the Bell polynomials
Masjed-Jamei, Mohammad
Moalemi, Zahra
Koepf, Wolfram
Srivastava, H. M.
REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS, 2019, 113 (02) : 1445 - 1461
[29] State Estimation of MEMs Capacitor Using Taylor Expansion
Mobki, H.
Sadeghi, M. H.
Rezazadeh, G.
INTERNATIONAL JOURNAL OF ENGINEERING, 2015, 28 (05): : 764 - 770
[30] Evaluation and design of filters using a Taylor series expansion
Moller, T
Machiraju, R
Mueller, K
Yagel, R
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 1997, 3 (02) : 184 - 199

← 1 2 3 4 5 →