16th IEEE International Workshop on Rapid System Prototyping (RSP'05)最新文献

筛选
英文 中文
Communication primitives driven hardware design and test methodology applied on complex video applications 应用于复杂视频应用的通信原语驱动的硬件设计和测试方法
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.17
A. Chirila-Rus, K. Denolf, B. Vanhoof, P. Schumacher, K. Vissers
{"title":"Communication primitives driven hardware design and test methodology applied on complex video applications","authors":"A. Chirila-Rus, K. Denolf, B. Vanhoof, P. Schumacher, K. Vissers","doi":"10.1109/RSP.2005.17","DOIUrl":"https://doi.org/10.1109/RSP.2005.17","url":null,"abstract":"Dedicated hardware realizations of new multimedia applications support high throughput in a cost-efficient way. Their design requires a correct translation of the high-level system definition into the final implementation at the RTL level. We propose a general systematic development and test methodology and apply it in the context of complex video codecs. The approach is based on a fixed set of communication primitives and uses a high-level functional C model as golden specification of the complete system throughout the design. A clear separation between I/O and computing allows the isolation of a single functional component. This module is developed individually and its functional correctness can be verified separately by extracting its input stimuli and expected output from the golden specification. The combination of RTL simulation and emulation on a prototyping platform enables exhaustive testing of the separate modules to assure functional correctness. In this way, the debug cycle during system integration is minimized.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128227903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
On the use of rewriting logic for verification of distributed software architecture description based LfP 基于LfP的分布式软件体系结构描述验证中逻辑重写的应用
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.34
Chadlia Jerad, Kamel Barkaoui
{"title":"On the use of rewriting logic for verification of distributed software architecture description based LfP","authors":"Chadlia Jerad, Kamel Barkaoui","doi":"10.1109/RSP.2005.34","DOIUrl":"https://doi.org/10.1109/RSP.2005.34","url":null,"abstract":"Software architecture description languages (ADLs) allow software designers to focus on high level aspects of an application by abstracting from the details of the components that compose architecture. It is precisely this abstraction that makes ADLs suitable for verification using model checking techniques. ADLs are, in a way, domain-specific languages for aspects such as coordination and distribution. LfP (language for prototyping) is a formal approach for distributed software architectures that is based on RM-ODP and that can be linked to an UML methodology. We propose in this paper a rewriting of the LfP semantics, specified in rewriting logic which is well suited for axiomatization of concurrent languages. Using the Maude system, a high-performance interpreter based on rewriting logic, we illustrate through an example how this rewriting semantics can be exploited for verification aspects related to distributed object interactions.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"188 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133720431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Porting DSP applications across design tools using the dataflow interchange format 使用数据流交换格式跨设计工具移植DSP应用程序
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.39
Chia-Jui Hsu, S. Bhattacharyya
{"title":"Porting DSP applications across design tools using the dataflow interchange format","authors":"Chia-Jui Hsu, S. Bhattacharyya","doi":"10.1109/RSP.2005.39","DOIUrl":"https://doi.org/10.1109/RSP.2005.39","url":null,"abstract":"Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics. Since different tools may be suitable for different phases or generations of a design, it is often desirable to migrate a dataflow-based application model from one prototyping tool to another. Two critical problems in transferring dataflow-based designs across different prototyping tools are the lack of a vendor-independent language for DSP-oriented dataflow graphs, and the lack of an efficient porting methodology. In our previous work, the dataflow interchange format (DIF) (C. Hsu et al., 2004) has been developed as a standard language to specify mixed-grain dataflow models for DSP systems. This paper presents the augmentation of the DIF infrastructure with a systematic porting approach that integrates DIF tightly with the specific exporting and importing mechanisms that interface DIF to specific DSP design tools. In conjunction with this porting mechanism, this paper also introduces a novel language, called the actor interchange format (AIF), for transferring relevant information pertaining to DSP library components across different tools. Through a case study of a synthetic aperture radar application, we demonstrate the high degree of automation offered by our DIF-based porting approach.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125433419","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Leveraging model representations for system level design tools 利用系统级设计工具的模型表示
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.28
J. Lapalme, E. Aboulhamid, G. Nicolescu
{"title":"Leveraging model representations for system level design tools","authors":"J. Lapalme, E. Aboulhamid, G. Nicolescu","doi":"10.1109/RSP.2005.28","DOIUrl":"https://doi.org/10.1109/RSP.2005.28","url":null,"abstract":"New sophisticated EDA tools and methodologies are needed to make products viable in the marketplace by simplifying and reducing the different design stages. They are based on representations that have to be clean, complete and easy to manipulate. The needed key features are standardization, metadata programming, reflectivity and introspection. This work proposes a methodology based on .Net framework presenting all these features and allowing simpler specification, synthesis, validation and the creation of tools that cost less and take less time to build/customize. We present the simulator of ESys.Net as a case study. ESys.Net is an existing .Net based platform for system design.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126224300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A rapid system prototyping platform for error control coding in optical CDMA networks 光学CDMA网络中差错控制编码的快速系统原型设计平台
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.8
M. Irman, J. Bajcsy
{"title":"A rapid system prototyping platform for error control coding in optical CDMA networks","authors":"M. Irman, J. Bajcsy","doi":"10.1109/RSP.2005.8","DOIUrl":"https://doi.org/10.1109/RSP.2005.8","url":null,"abstract":"This paper presents a rapid system prototyping platform for error-control codes (e.g. turbo and turbo product), which are to be used for optical CDMA transmission. The platform is based on system generator from Xilinx, a visual design tool based on Matlab/Simulink environment and enables a \"push of a button\" transition from specification to implementation. Components of the platform (a library of communication modules, debugging and emulation tools), design methodology of the platform and evaluation of some example communication systems are presented.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132509651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
High level synthesis for data-driven applications 用于数据驱动应用程序的高级综合
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.26
E. Bergeron, Xavier Saint-Mleux, M. Feeley, J. David
{"title":"High level synthesis for data-driven applications","authors":"E. Bergeron, Xavier Saint-Mleux, M. Feeley, J. David","doi":"10.1109/RSP.2005.26","DOIUrl":"https://doi.org/10.1109/RSP.2005.26","url":null,"abstract":"John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware. Presently, logical gates are nearly free and single chips contain billions of gates. However, most current designs are still based on Von Neumann's architecture because processors are built on this model. Nevertheless, the main current challenge is to be able to design, refine, synthesize and verify new architectures in a minimum time and with a maximum computational performance regardless of the gate count. Data driven architectures enable a high level of parallelism because instead of a single controller managing all the resources (and often a single ALU), tens or hundreds of small controllers can now operate in parallel on local processing units. This paper presents an environment for the high level description, refinement, synthesis and verification of such systems. Our own HDL is presented with its compiler and we show how it can be used as the intermediate language of a compiler for an even higher level functional programming language. Ongoing work enables the interfacing with other languages (from both hardware and software communities). We also intend to target asynchronous designs.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"256 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121236548","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Straight method for reallocation of complex cores by dynamic reconfiguration in Virtex II FPGAs Virtex II fpga中复杂核动态重构的直接重分配方法
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.45
Y. Krasteva, Ana B. Jimeno, E. D. L. Torre, T. Riesgo
{"title":"Straight method for reallocation of complex cores by dynamic reconfiguration in Virtex II FPGAs","authors":"Y. Krasteva, Ana B. Jimeno, E. D. L. Torre, T. Riesgo","doi":"10.1109/RSP.2005.45","DOIUrl":"https://doi.org/10.1109/RSP.2005.45","url":null,"abstract":"Virtex II FPGAs are widely used in current designs because of their high density of logic cells and the availability of embedded DSP specific blocks (Multipliers) and Dual port RAMs along with the possibility of dynamic reconfiguration. Systems containing FPGAs could be updated once deployed by loading new configurations received, i.e., via a network connection. Unlike other approaches, which rely on more regular devices, i.e. the older Virtex FPGAs, this paper presents a solution for dynamic core insertion and reallocation that permits cores to make use of the embedded blocks available in Virtex II devices. An application called BITPOS is proposed. It extracts and reallocates Virtex II cores. It is compared with other similar solutions and a survey of existing core generation tools is presented. A feasible slot based architecture with a bus communication structure for reallocatable cores communication has been selected and applied in a prototype demonstrator.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128446396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 38
Synthesis of communication structures and protocols in distributed embedded systems 分布式嵌入式系统中通信结构与协议的综合
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.47
Stefan Ihmor, Tobias Loke, W. Hardt
{"title":"Synthesis of communication structures and protocols in distributed embedded systems","authors":"Stefan Ihmor, Tobias Loke, W. Hardt","doi":"10.1109/RSP.2005.47","DOIUrl":"https://doi.org/10.1109/RSP.2005.47","url":null,"abstract":"Most embedded systems consist of distributed but highly interconnected applications. Lots of resources are invested to design and implement reliable and efficient communication systems. This paper introduces a new approach for the prototyping of communication structures and protocols. The developed methodology was embedded in the IFS-flow (interface synthesis flow) that generates glue logic between incompatible tasks and media. The presented approach allows us to construct complex communication prototypes in restricted embedded systems more efficiently. Therefore, five optimization strategies were defined for the generation of interfaces (IFB). The computation of dedicated protocols between the spread interfaces helps us to overcome structural communication gaps comprising an efficient and reliable communication. An example shows the practicability of the approach and presents achievable advantages.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123047772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
COMPASS - a novel concept of a reconfigurable platform for automotive system development and test COMPASS -一个用于汽车系统开发和测试的可重构平台的新概念
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.18
C. Bieser, K. Müller-Glaser
{"title":"COMPASS - a novel concept of a reconfigurable platform for automotive system development and test","authors":"C. Bieser, K. Müller-Glaser","doi":"10.1109/RSP.2005.18","DOIUrl":"https://doi.org/10.1109/RSP.2005.18","url":null,"abstract":"In this paper we present a new concept of a configurable modular rapid prototyping system called COMPASS (configurable modular platform for automotive systems). Our ambition is to support the design engineer in all phases of the rapid prototyping (RP) process, including the concept-oriented, the architecture-oriented and the realization-oriented RP. Therefore we provide one unique and flexible development platform that covers all phases. The overall performance and flexibility is reached by the special system structure and the intensive use of FPGAs in combination with a high performance processor. This offers the potential to implement automotive applications with highly specialized peripherals, fast interfaces and communication channels to cope with today's requirements. Moreover programmable logic devices allow hardware reuse to a very high degree in contrast to existing commercial products. The proposed platform saves costs since the versatile configurable interface cards can be used for different purposes and so feature benefits over function specific hardware modules. As a special bonus the flexible and adaptive structure of the platform associated with the reconfigurability of the modules is not only restricted to RP, but also permits the usage as a hardware-in-the-loop (HiL) test system.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130652038","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Dynamic reconfiguration of IP based systems 基于IP的系统的动态重构
16th IEEE International Workshop on Rapid System Prototyping (RSP'05) Pub Date : 2005-06-08 DOI: 10.1109/RSP.2005.23
M. Visarius, André Meisel, Markus Scheithauer, W. Hardt
{"title":"Dynamic reconfiguration of IP based systems","authors":"M. Visarius, André Meisel, Markus Scheithauer, W. Hardt","doi":"10.1109/RSP.2005.23","DOIUrl":"https://doi.org/10.1109/RSP.2005.23","url":null,"abstract":"The design of embedded systems is a complex iterative process. To shorten the design cycles, it is useful to utilize suitable intellectual properties (IPs). At some point during the service life of a product, the owner of the product might wish for additional functions in the device, even if the device is still fully functional. This can be realized by the technique of reconfiguration, a capability usually supported by prototyping platforms such as FPGAs. Automation of various portions of the embedded system design process is necessary in order to make effective use of IPs and reconfiguration capabilities. This implies the specification of a new design flow. In this paper we propose such a design flow and describe the mechanisms we developed for automation. We present relevant aspects for composing an optimized system based on IPs and detail the automatic generation of the system implementation on a prototyping platform. Finally, we give an example, which illustrates the applicability of the proposed design flow.","PeriodicalId":262048,"journal":{"name":"16th IEEE International Workshop on Rapid System Prototyping (RSP'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128533266","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信