scholarly journals Certifying Loop Pipelining Transformations in Behavioral Synthesis

2017 ◽  
Author(s):  
Disha Puri
Keyword(s):  
Behavioral Synthesis ◽  
Loop Pipelining

scholarly journals Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

2014 ◽  
Vol 152 ◽  
pp. 111-128
Author(s):  
Disha Puri ◽  
Sandip Ray ◽  
Kecheng Hao ◽  
Fei Xie
Keyword(s):  
Behavioral Synthesis ◽  
Loop Pipelining

VHDL Modeling for Behavioral Synthesis

1997 ◽  
pp. 67-124
Author(s):  
Ahmed A. Jerraya ◽  
Hong Ding ◽  
Polen Kission ◽  
Maher Rahmouni
Keyword(s):  
Behavioral Synthesis

Scheduling Algorithms for Compiler of Loop Pipelining Designs on FPGAs

2012 ◽  
Vol 4 (23) ◽  
pp. 67-78 ◽  
Author(s):  
Lu Zhijian ◽  
Wu Yanxia ◽  
Guo Zhenhua ◽  
Gu Guochang
Keyword(s):  
Scheduling Algorithms ◽  
Loop Pipelining
Sign in / Sign up

Export Citation Format

Share Document