Modeling Flow for Automated System Design and Exploration
نویسنده
چکیده
of the Dissertation Modeling Flow for Automated System Design and Exploration by Andreas Gerstlauer Doctor of Philosophy in Information and Computer Science University of California, Irvine, 2004 Professor Daniel D. Gajski, Chair Raising the level of abstraction is widely seen as the solution for closing the productivity gap in the design of embedded computer systems and systems-on-chip (SoCs). However, system design thus far suffers from a lack of rigorous, structured, and comprehensive design processes from abstract specification down to cycle-accurate implementation. In order to provide an automated design process, a well-defined design flow with clear and unambiguous abstraction levels, models, and transformations is required. The key to the success of this approach are properly defined design models. Arbitrary models without clear semantics do not enable synthesis and verification. In addition, synthesis requires clear definitions of the target architecture and a set of synthesis steps to transform the input model into the target model. In this dissertation, we define such input and target models, a set of design steps, design decisions, model transformation, and intermediate models that are necessary for an automated system design flow. The design flow has been implemented in the form of an interactive system-on-chip design environment (SCE). Automating tedious and error-prone tasks while reaping human expertise and insight results in a flow with the necessary transparency, controllability, observability and productivity. As part of this work, architecture, organization, tool flow, design model management, interfaces, and databases of the design framework have been established. Models in the flow have
منابع مشابه
Retrieval–travel-time model for free-fall-flow-rack automated storage and retrieval system
Automated storage and retrieval systems (AS/RSs) are material handling systems that are frequently used in manufacturing and distribution centers. The modelling of the retrieval–travel time of an AS/RS (expected product delivery time) is practically important, because it allows us to evaluate and improve the system throughput. The free-fall-flow-rack AS/RS has emerged as a new technology for dr...
متن کاملAutomatic System-Level Synthesis: From Formal Application Models to Generic Bus-Based MPSoCs
System-level synthesis is the task of automatically implementing application models as hardware/software systems. It encompasses four basic subtasks, namely decision making and refinement for both computation and communication. In the past, several system-level synthesis approaches have been proposed. However, it was shown that each of these approaches has drawbacks in at least one of the four ...
متن کاملConstraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing model components in the design process. This paper describes a tool suite, which has been developed for component-based model synthesis. The DESERT tool suite can be interfaced to existing modeling and analysis environ...
متن کاملSpecification and Design of a MP3 Audio Decoder
In an effort to understand, experience and prove the benefits of automated SoC design, this report describes the specification modeling, design space exploration and implementation of a real world example using SpecC based System on Chip Environment (SCE). The report covers a complete description of developing the specification model of a MPEG-1 Layer 3 (MP3) audio decoder in SpecC language and...
متن کاملDeveloping an ESL Design Flow and Integrating Design Space Exploration for Embedded Systems
This paper introduces a systematic development of design flows for embedded systems. The idea of an executable design flow provides a basis for the design automation starting at system level. The aim is to develop, manage and optimize design flows more efficiently. A seamless integration of design space exploration into a design flow is presented coping with the conflicting design goals of embe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004