使用Petri网进行硬件/软件协同设计的新方法

2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233) Pub Date : 2001-08-26 DOI:10.1109/PACRIM.2001.953592

A. Bourjij, P. Nus

{"title":"使用Petri网进行硬件/软件协同设计的新方法","authors":"A. Bourjij, P. Nus","doi":"10.1109/PACRIM.2001.953592","DOIUrl":null,"url":null,"abstract":"The main object of this methodology is to give an efficient approach for DSP (Digital Signal Processor) programming. The proposed approach adopts Petri Nets as the basic tool for model construction. Thus, the model can be easily analyzed by linear algebra or graph theory to verify its properties. If the model is correct by T-invariant computing we can choose an optimized data transfer scheme else we must improve the model.","PeriodicalId":261724,"journal":{"name":"2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A new methodology for Hardware/Software codesign using Petri nets\",\"authors\":\"A. Bourjij, P. Nus\",\"doi\":\"10.1109/PACRIM.2001.953592\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The main object of this methodology is to give an efficient approach for DSP (Digital Signal Processor) programming. The proposed approach adopts Petri Nets as the basic tool for model construction. Thus, the model can be easily analyzed by linear algebra or graph theory to verify its properties. If the model is correct by T-invariant computing we can choose an optimized data transfer scheme else we must improve the model.\",\"PeriodicalId\":261724,\"journal\":{\"name\":\"2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233)\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-08-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PACRIM.2001.953592\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PACRIM.2001.953592","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

该方法的主要目的是为DSP(数字信号处理器)编程提供一种有效的方法。该方法采用Petri网作为模型构建的基本工具。因此，可以很容易地用线性代数或图论来分析模型，以验证其性质。如果通过t不变计算模型是正确的，就可以选择最优的数据传输方案，否则就必须对模型进行改进。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A new methodology for Hardware/Software codesign using Petri nets

The main object of this methodology is to give an efficient approach for DSP (Digital Signal Processor) programming. The proposed approach adopts Petri Nets as the basic tool for model construction. Thus, the model can be easily analyzed by linear algebra or graph theory to verify its properties. If the model is correct by T-invariant computing we can choose an optimized data transfer scheme else we must improve the model.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2001 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (IEEE Cat. No.01CH37233)

自引率

0.00%

发文量