Verification of KPN Level Transformations

Author

Karfa, Chandan ; Sarkar, Debdeep ; Mandal, Chittaranjan

Author_Institution

Synopsys (India) Pvt. Ltd., India

fYear

2013

fDate

5-10 Jan. 2013

Firstpage

338

Lastpage

343

Abstract

A verification framework for checking correctness of Kahn process network (KPN) level transformations is presented for multimedia and signal processing applications. The initial and the transformed KPN behaviors are both modelled as array data dependence graphs (ADDGs) and the verification problem is posed as checking of equivalence between the two ADDGs. The key aspect of our scheme is to model a KPN behaviour as an ADDG. The verification framework is explained with channel merging transformations. Experimental results supporting usability of this scheme are also provided.

Keywords

formal verification; graph theory; multimedia communication; signal processing; KPN level transformations; Kahn process network; array data dependence graphs; checking correctness; multimedia processing; signal processing; verification framework; verification problem; Arrays; Computational modeling; Concurrent computing; Embedded systems; Equations; Indexes; Merging; Kahn process network; array data dependence graph; formal verification;

fLanguage

English

Publisher

ieee

Conference_Titel

VLSI Design and 2013 12th International Conference on Embedded Systems (VLSID), 2013 26th International Conference on

Conference_Location

Pune

ISSN

1063-9667

Print_ISBN

978-1-4673-4639-9

Type

conf

DOI

10.1109/VLSID.2013.211

Filename

6472663