• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP 150; IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems(DIPES 2004); 20040822-27; Toulouse(FR) >AUTOMATIC SYNTHESIS OF SYSTEMC-CODE FROM FORMAL SPECIFICATIONS
【24h】

AUTOMATIC SYNTHESIS OF SYSTEMC-CODE FROM FORMAL SPECIFICATIONS

机译：从形式规范自动合成系统代码

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The paper presents an approach for realizing high-level Petri net models in SystemC. The approach contributes to an existing methodology for the Petri net based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net components in hardware. The paper describes the use of standard SystemC language constructs to realize the execution of a high-level Petri net, which is assumed to be separated into partitions. Besides techniques for realizing the mechanisms of Petri net execution, the integration of the code generation into the overall design flow is discussed. To demonstrate the effectiveness of our approach we use the inverse discrete cosine transformation (IDCT) that is part of the MPEG-2 algorithm.
机译：本文提出了一种在SystemC中实现高级Petri网模型的方法。该方法为基于Petri网的分布式嵌入式实时系统设计的现有方法做出了贡献。它旨在成为一种在硬件中实现Petri网组件的工具。本文描述了使用标准SystemC语言构造来实现高级Petri网的执行，假定将其划分为多个分区。除了用于实现Petri网执行机制的技术外，还讨论了将代码生成集成到总体设计流程中的问题。为了证明我们方法的有效性，我们使用了MPEG-2算法中的逆离散余弦变换（IDCT）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号