首页> 外文学位 >Ingredients for successful system level automation & design methodology. Support for multiple models of computation, heterogeneous behavioral hierarchy, model-driven validation, and service-oriented tool integration environment.
【24h】

Ingredients for successful system level automation & design methodology. Support for multiple models of computation, heterogeneous behavioral hierarchy, model-driven validation, and service-oriented tool integration environment.

机译:成功的系统级自动化和设计方法的要素。支持多种计算模型,异构行为层次,模型驱动的验证以及面向服务的工具集成环境。

获取原文
获取原文并翻译 | 示例

摘要

This dissertation addresses the problem of making system level design (SLD) methodology based on SystemC more useful to the complex embedded system design community by presenting a number of ingredients currently absent in the existing SLD methodologies and frameworks. The complexity of embedded systems have been increasing at a rapid rate due to proliferation of desired functionality of such systems (e.g., cell phones, game consoles, hand-held devices, etc., are providing more features every few months), and the device technology still riding the curve predicted by Moore's law. Design methodology is shifting slowly towards system level design (also called electronic system level (ESL)). A number of SLD languages and supporting frameworks are being proposed. SystemC is positioned as being one of the dominant SLD languages. The various design automation tool vendors are proposing frameworks for supporting SystemC-based design methodologies. We believe that compared to the necessity and potential of ESL, the success of the frameworks have been limited due to lack of support for a number of facilities and features in the languages and tool environments. This dissertation proposes, formulates, and provides proof of concept demonstrations of a number of ingredients that we have identified as essential for efficient and productive use of SystemC-based tools and techniques. These are heterogeneity in the form of multiple models of computation, behavioral hierarchy in addition to structural hierarchy, model-driven validation for SystemC designs and a service-oriented tool integration environment. In particular, we define syntactic extensions to the SystemC language, semantic modifications, and simulation algorithms, precise semantics for model based validation etc. For each of these we provide reference implementation for further experimentation on the utility of these extensions.;This project received support from NSF, SRC, and Bluespec.
机译:本文通过介绍现有SLD方法和框架中目前缺少的许多要素,解决了使基于SystemC的系统级设计(SLD)方法对复杂的嵌入式系统设计社区更有用的问题。嵌入式系统的复杂性由于此类系统所需功能的激增而迅速增加(例如,手机,游戏机,手持设备等,每隔几个月就会提供更多功能),并且该设备技术仍然遵循摩尔定律预测的曲线。设计方法正在缓慢地朝系统级设计(也称为电子系统级(ESL))转移。提出了许多SLD语言和支持框架。 SystemC被定位为主要的SLD语言之一。各种设计自动化工具供应商正在提出用于支持基于SystemC的设计方法的框架。我们认为,与ESL的必要性和潜力相比,由于缺乏对语言和工具环境中的许多功能的支持,因此框架的成功受到了限制。本文提出,制定并提供了概念证明,证明了我们认为对于有效,高效地使用基于SystemC的工具和技术必不可少的许多成分。这些是多种计算形式的异质性,除了结构层次结构外还有行为层次结构,SystemC设计的模型驱动验证以及面向服务的工具集成环境。特别是,我们定义了对SystemC语言的语法扩展,语义修改和仿真算法,基于模型的验证的精确语义等。为此,我们为每种扩展的效用提供了进一步的实验参考。来自NSF,SRC和Bluespec。

著录项

  • 作者

    Patel, Hiren D.;

  • 作者单位

    Virginia Polytechnic Institute and State University.;

  • 授予单位 Virginia Polytechnic Institute and State University.;
  • 学科 Engineering Electronics and Electrical.;Computer Science.
  • 学位 Ph.D.
  • 年度 2007
  • 页码 212 p.
  • 总页数 212
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号