Scalable Equivalence Checking for Behavioral Synthesis

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 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 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

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

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

Handling design and implementation optimizations in equivalence checking for behavioral synthesis

Proceedings of the 50th Annual Design Automation Conference on - DAC '13 ◽

10.1145/2463209.2488878 ◽

2013 ◽

Cited By ~ 6

Author(s):

Zhenkun Yang ◽

Sandip Ray ◽

Kecheng Hao ◽

Fei Xie

Keyword(s):

Equivalence Checking ◽

Behavioral Synthesis ◽

Design And Implementation

Download Full-text

Equivalence checking of arithmetic expressions using fast evaluation

Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems - CASES '05 ◽

10.1145/1086297.1086317 ◽

2005 ◽

Cited By ~ 4

Author(s):

Mohammad Ali Ghodrat ◽

Tony Givargis ◽

Alex Nicolau

Keyword(s):

Equivalence Checking ◽

Fast Evaluation ◽

Arithmetic Expressions

Download Full-text

ICCAD-2020 CAD contest in X-value equivalence checking and benchmark suite

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415739 ◽

2020 ◽

Author(s):

Chih-Jen (Jacky) Hsu ◽

Chi-An (Rocky) Wu ◽

Ching-Yi Huang ◽

Kei-Yong Khoo

Keyword(s):

Equivalence Checking ◽

Benchmark Suite

Download Full-text

Probabilistic equivalence checking based on high-level decision diagrams

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2011.5783130 ◽

2011 ◽

Cited By ~ 2

Author(s):

Anton Karputkin ◽

Raimund Ubar ◽

Mati Tombak ◽

Jaan Raik

Keyword(s):

Equivalence Checking ◽

Decision Diagrams ◽

High Level

Download Full-text