Flushing-enabled loop pipelining for high-level synthesis
Dai, Steve, Mingxing Tan, Kecheng Hao, Zhiru Zhang
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Get full text
Conference Proceeding
Handling design and implementation optimizations in equivalence checking for behavioral synthesis
Yang, Zhenkun, Ray, Sandip, Hao, Kecheng, Xie, Fei
Published in 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC) (29.05.2013)
Published in 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC) (29.05.2013)
Get full text
Conference Proceeding
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Puri, Disha, Ray, Sandip, Hao, Kecheng, Xie, Fei
Published in Electronic proceedings in theoretical computer science (04.06.2014)
Published in Electronic proceedings in theoretical computer science (04.06.2014)
Get full text
Journal Article
Validating scheduling transformation for behavioral synthesis
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Ray, Sandip, Fei Xie
Published in 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2016)
Get full text
Published in 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2016)
Conference Proceeding
Journal Article
Equivalence checking for compiler transformations in behavioral synthesis
Zhenkun Yang, Kecheng Hao, Kai Cong, Ray, Sandip, Fei Xie
Published in 2013 IEEE 31st International Conference on Computer Design (ICCD) (01.10.2013)
Published in 2013 IEEE 31st International Conference on Computer Design (ICCD) (01.10.2013)
Get full text
Conference Proceeding
Scalable certification framework for behavioral synthesis front-end
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Ray, Sandip, Fei Xie
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Get full text
Conference Proceeding
Equivalence checking for function pipelining in behavioral synthesis
Hao, Kecheng, Ray, Sandip, Xie, Fei
Published in 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2014)
Published in 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2014)
Get full text
Conference Proceeding
Component-Based Hardware/Software Co-Simulation
Ping Hang Cheung, Kecheng Hao, Fei Xie
Published in 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) (01.08.2007)
Published in 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) (01.08.2007)
Get full text
Conference Proceeding
Optimizing equivalence checking for behavioral synthesis
Kecheng Hao, Fei Xie, Ray, Sandip, Jin Yang
Published in 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) (01.03.2010)
Published in 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) (01.03.2010)
Get full text
Conference Proceeding