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

Scalable SMT-Based Equivalence Checking of Nested Loop Pipelining in Behavioral Synthesis

2017 ◽  
Vol 22 (2) ◽  
pp. 1-22 ◽  
Author(s):  
Mohammad Reza Azarbad ◽  
Bijan Alizadeh
Keyword(s):  
Equivalence Checking ◽  
Behavioral Synthesis ◽  
Loop Pipelining ◽  
Nested Loop

scholarly journals Certifying Loop Pipelining Transformations in Behavioral Synthesis

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

scholarly journals Forwarding Unit Generation for Loop Pipelining in High-level Synthesis

2014 ◽  
Vol 7 (0) ◽  
pp. 119-124
Author(s):  
Shingo Kusakabe ◽  
Kenshu Seto
Keyword(s):  
High Level Synthesis ◽  
Loop Pipelining ◽  
High Level

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