IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs

2013 16th Euromicro Conference on Digital System Design

Author(s): Mikhail Glukhikh ; Mikhail Moiseev ; Sergey Salishev
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2013
Conference Location: Los Alamitos, CA, USA
Conference Date: 4 September 2013
Page(s): 89 - 96
ISBN (Electronic): 978-1-4799-2978-8
DOI: 10.1109/DSD.2013.17
Regular:

In this paper a novel approach for verification of synchronization correctness of HLS-synthesizable SystemC designs is proposed. Synchronization correctness is formulated in terms of statement... View More

Advertisement