Equivalence Checking for High-Assurance 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 Equivalence Checking for Behavioral Synthesis

10.15760/etd.2459 ◽

2000 ◽

Author(s):

Zhenkun Yang

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

Formal Verification for High-Assurance Behavioral Synthesis

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04761-9_25 ◽

2009 ◽

pp. 337-351 ◽

Cited By ~ 6

Author(s):

Sandip Ray ◽

Kecheng Hao ◽

Yan Chen ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Formal Verification ◽

Behavioral Synthesis ◽

High Assurance

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

Security Engineering for High Assurance, Policy-Based Applications

10.21236/ada406368 ◽

2002 ◽

Author(s):

David Rosenthal ◽

Francis Fung ◽

Stephen Garland ◽

Andrew Myers ◽

David Evans

Keyword(s):

Security Engineering ◽

High Assurance

Download Full-text

A Common Criteria-Based Team Project for High Assurance Secure Systems

10.21236/ada443267 ◽

2005 ◽

Cited By ~ 1

Author(s):

Cynthia E. Irvine

Keyword(s):

Secure Systems ◽

Common Criteria ◽

High Assurance ◽

Team Project

Download Full-text