Scalable SMT-Based Equivalence Checking of Nested Loop Pipelining in Behavioral Synthesis. - Mohammad Reza Azarbad; Bijan Alizadeh (ACM Trans. Design Autom. Electr. Syst., 2017)

High-Level Synthesis of Non-Rectangular Multi-Dimensional Nested Loops Using Reshaping and Vectorization. - Sahand Salamat; Mohammad Reza Azarbad; Bijan Alizadeh (ICRC, 2018)