標題: | 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 |
顯示於類別: | 會議論文 |