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}
{"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}
{"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}
{"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}
{"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}
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}
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}
{"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}
{"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}
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}