Efficient building block based RTL code generation from synchronous data flow graphs

2000 ◽  
Author(s):  
Jens Horstmannshoff ◽  
Heinrich Meyr
Keyword(s):  
Code Generation ◽  
Building Block ◽  
Data Flow ◽  
Data Flow Graphs ◽  
Block Based ◽  
Synchronous Data Flow ◽  
Flow Graphs

Liveness and Boundedness of Synchronous Data Flow Graphs

2006 ◽  
Author(s):  
A.H. Ghamarian ◽  
M.C.W. Geilen ◽  
T. Basten ◽  
B.D. Theelen ◽  
M.R. Mousavi ◽  
...  
Keyword(s):  
Data Flow ◽  
Data Flow Graphs ◽  
Synchronous Data Flow ◽  
Flow Graphs

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking

2015 ◽  
pp. 551-569 ◽  
Author(s):  
Xue-Yang Zhu ◽  
Rongjie Yan ◽  
Yu-Lei Gu ◽  
Jian Zhang ◽  
Wenhui Zhang ◽  
...  
Keyword(s):  
Model Checking ◽  
Data Flow ◽  
Optimal Scheduling ◽  
Data Flow Graphs ◽  
Synchronous Data Flow ◽  
Flow Graphs
Sign in / Sign up

Export Citation Format

Share Document