標題: Modeling and formal verification of dataflow graph in system-level design using Petri net
作者: Chiang, TH
Dung, LR
Yaung, MF
電控工程研究所
Institute of Electrical and Control Engineering
公開日期: 2005
摘要: Formal verification in system-level, which also means architecture verification, is different from functional verification in RTL level. DSP algorithms need high-level transformation to achieve optimal goals before mapping on a silicon. However, suitable CAD tool is absent to support the simulation and verification in high-level. This paper presents a novel modeling and high-level verification methodology based on Petri net (PN) model. By proposed method, a system of DSP algorithm in the form of FSFG is transformed into PN model. Moreover, verification methods which include static and dynamical phases are applied in PN domain. At last, we introduce our software implementation, called HiVED, to show the experimental results.
URI: http://hdl.handle.net/11536/17797
ISBN: 0-7803-8834-8
ISSN: 0271-4302
期刊: 2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS
起始頁: 5674
結束頁: 5677
Appears in Collections:Conferences Paper