Symbolic algebra and timing driven data-flow synthesis

IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) ◽

10.1109/iccad.2001.968637 ◽

2002 ◽

Author(s):

A. Peymandoust ◽

G. De Micheli

Keyword(s):

Data Flow ◽

Symbolic Algebra ◽

Download Full-text

Application of symbolic computer algebra in high-level data-flow synthesis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2003.816213 ◽

2003 ◽

Vol 22 (9) ◽

pp. 1154-1165 ◽

Author(s):

A. Peymandoust ◽

G. De Micheli

Keyword(s):

Computer Algebra ◽

Data Flow ◽

Flow Synthesis ◽

Download Full-text

Low-Power High-Level Data-Flow Synthesis

2006 International Conference on Computational Intelligence and Security ◽

10.1109/iccias.2006.295407 ◽

2006 ◽

Author(s):

Guanjun Wang ◽

Tao Zhou

Keyword(s):

Low Power ◽

Data Flow ◽

Flow Synthesis ◽

Download Full-text

Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation

Integration ◽

10.1016/j.vlsi.2009.06.003 ◽

2010 ◽

Vol 43 (1) ◽

pp. 101-112

Author(s):

Zhi Yang ◽

Guangsheng Ma ◽

Shu Zhang

Keyword(s):

Formal Verification ◽

Symbolic Computation ◽

Data Flow ◽

Flow Synthesis ◽

Download Full-text

Automatic High-level Data-flow Synthesis and Optimization of Polynomial Datapaths Using Functional Decomposition

IEEE Transactions on Computers ◽

10.1109/tc.2014.2345395 ◽

2014 ◽

pp. 1-1 ◽

Author(s):

Samaneh Ghandali ◽

Bijan Alizadeh ◽

Masahiro Fujita ◽

Zainalabedin Navabi

Keyword(s):

Data Flow ◽

Functional Decomposition ◽

Flow Synthesis ◽

Download Full-text

A symbolic methodology for formal verification of high-level data-flow synthesis

2008 9th International Conference on Solid-State and Integrated-Circuit Technology ◽

10.1109/icsict.2008.4735043 ◽

2008 ◽

Author(s):

Zhi Yang ◽

Chao Lv ◽

Guangsheng Ma ◽

Jingbo Shao

Keyword(s):

Formal Verification ◽

Data Flow ◽

Flow Synthesis ◽

Download Full-text

Integration of flow synthesis hardware with on-line purification

10.1021/scimeetings.0c06974 ◽

2020 ◽

Author(s):

David Stout ◽

Jeremiah Malerich ◽

Peter Madrid ◽

Dominique Tartar

Keyword(s):

Flow Synthesis ◽

Download Full-text

Methods and devices for teaching data flow to electronics maintenance personnel. (Task Trace I.).

PsycEXTRA Dataset ◽

10.1037/e404892004-001 ◽

1962 ◽

Author(s):

A. James McKnight

Keyword(s):

Data Flow ◽

Maintenance Personnel

Download Full-text

Data flow: The general problem and a cognitive model.

PsycEXTRA Dataset ◽

10.1037/e434262004-001 ◽

1962 ◽

Author(s):

Charles W. Dean ◽

Jerome V. Lisovich

Keyword(s):

General Problem ◽

Data Flow ◽

Cognitive Model

Download Full-text

Space—time mapping, latency of data flow and concurrent error detection in systolic arrays

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1993.0004 ◽

1993 ◽

Vol 140 (1) ◽

pp. 33

Author(s):

H.F. Li ◽

C.N. Zhang ◽

R. Jayakumar

Keyword(s):

Error Detection ◽

Data Flow ◽

Systolic Arrays ◽

Concurrent Error Detection

Download Full-text

Experience in Developing Legislation to Support South Africa's Mandatory GHG Emissions Reporting Program and National Inventory Data Flow

10.1596/29120 ◽

2016 ◽

Author(s):

Keyword(s):

Data Flow ◽

Ghg Emissions ◽

Inventory Data ◽

National Inventory

Download Full-text