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

Mohammad Reza Azarbad; Bijan Alizadeh

doi:10.1145/2953879

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

ACM Transactions on Design Automation of Electronic Systems ◽

10.1145/2953879 ◽

2017 ◽

Vol 22 (2) ◽

pp. 1-22 ◽

Cited By ~ 1

Author(s):

Mohammad Reza Azarbad ◽

Bijan Alizadeh

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis ◽

Loop Pipelining ◽

Nested Loop

Download Full-text

Equivalence checking for function pipelining in behavioral synthesis

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 ◽

10.7873/date.2014.163 ◽

2014 ◽

Cited By ~ 2

Author(s):

Kecheng Hao ◽

Sandip Ray ◽

Fei Xie

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis

Download Full-text

Scalable Equivalence Checking for Behavioral Synthesis

10.15760/etd.2459 ◽

2000 ◽

Author(s):

Zhenkun Yang

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis

Download Full-text

Improving Nested Loop Pipelining on Coarse-Grained Reconfigurable Architectures

IEEE Transactions on Very Large Scale Integration (VLSI) Systems ◽

10.1109/tvlsi.2015.2400219 ◽

2016 ◽

Vol 24 (2) ◽

pp. 507-520 ◽

Cited By ~ 4

Author(s):

Shouyi Yin ◽

Dajiang Liu ◽

Yu Peng ◽

Leibo Liu ◽

Shaojun Wei

Keyword(s):

Coarse Grained ◽

Reconfigurable Architectures ◽

Loop Pipelining ◽

Nested Loop

Download Full-text

Equivalence Checking for High-Assurance Behavioral Synthesis

10.15760/etd.1066 ◽

2000 ◽

Author(s):

Kecheng Hao

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis ◽

High Assurance

Download Full-text

Equivalence checking for compiler transformations in behavioral synthesis

2013 IEEE 31st International Conference on Computer Design (ICCD) ◽

10.1109/iccd.2013.6657090 ◽

2013 ◽

Cited By ~ 3

Author(s):

Zhenkun Yang ◽

Kecheng Hao ◽

Kai Cong ◽

Sandip Ray ◽

Fei Xie

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis

Download Full-text

Certifying Loop Pipelining Transformations in Behavioral Synthesis

10.15760/etd.3356 ◽

2017 ◽

Author(s):

Disha Puri

Keyword(s):

Behavioral Synthesis ◽

Loop Pipelining

Download Full-text

Equivalence checking for function pipelining in behavioral synthesis

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 ◽

10.7873/date2014.163 ◽

2014 ◽

Cited By ~ 1

Author(s):

Kecheng Hao ◽

Sandip Ray ◽

Fei Xie

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis

Download Full-text

Efficient nested loop pipelining in high level synthesis using polyhedral bubble insertion

2011 International Conference on Field-Programmable Technology ◽

10.1109/fpt.2011.6132715 ◽

2011 ◽

Cited By ~ 7

Author(s):

Antoine Morvan ◽

Steven Derrien ◽

Patrice Quinton

Keyword(s):

High Level Synthesis ◽

Loop Pipelining ◽

High Level ◽

Nested Loop

Download Full-text

Optimizing equivalence checking for behavioral synthesis

2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) ◽

10.1109/date.2010.5457049 ◽

2010 ◽

Cited By ~ 1

Author(s):

Kecheng Hao ◽

Fei Xie ◽

Sandip Ray ◽

Jin Yang

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis

Download Full-text

Polyhedral Bubble Insertion: A Method to Improve Nested Loop Pipelining for High-Level Synthesis

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

10.1109/tcad.2012.2228270 ◽

2013 ◽

Vol 32 (3) ◽

pp. 339-352 ◽

Cited By ~ 22

Author(s):

Antoine Morvan ◽

Steven Derrien ◽

Patrice Quinton

Keyword(s):

High Level Synthesis ◽

Loop Pipelining ◽

High Level ◽

Nested Loop

Download Full-text