A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Filters
Grammar-based design of embedded systems
2001
Journal of systems architecture
, and to the virtual prototyping of DSP systems. ...
Only in recent years grammar-based design has become a promising research ®eld and the ®rst commercial tools have appeared on the market. ...
and virtual prototyping of complex DSP systems [8] . ...
doi:10.1016/s1383-7621(00)00047-3
fatcat:mbxpsziqu5evfjeznqkqvh6zly
The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration
2013
Microprocessors and microsystems
Our proposed flow combines system-level timing and power estimation techniques available in commercial tools with platform-based rapid prototyping. ...
As a result, we propose a reference framework and design flow concept that combines system-level power optimization techniques with platform-based rapid prototyping. ...
From these annotated components a virtual prototype is generated. This prototype is used to estimate the power and timing of the overall system. ...
doi:10.1016/j.micpro.2013.09.001
fatcat:7a5ycc45m5h7nkjhxhe4u2j7am
High-Level Synthesis for FPGAs: From Prototyping to Deployment
2011
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In this paper we use AutoESL's AutoPilot HLS tool coupled with domain-specific system-level implementation platforms developed by Xilinx as an example to demonstrate the effectiveness of state-of-art C-to-FPGA ...
Escalating System-on-Chip design complexity is pushing the design community to raise the level of abstraction beyond RTL. ...
Verification drives the acceptance of high-level specification: Transaction-level modeling (TLM) with SystemC [107] or similar C/C++ based extensions has become a very popular approach to system-level ...
doi:10.1109/tcad.2011.2110592
fatcat:rr75vomr6zf5vhgs3swjblslza
A compiler infrastructure for embedded heterogeneous MPSoCs
2013
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM '13
Programming heterogeneous MPSoCs (Multi-Processor Systems on Chip) is a grand challenge for embedded SoC providers and users today. ...
In this paper, we argue for the need and significance of positioning the language and tool design from the perspective of practicality to address this challenge. ...
Virtual prototypes of MPSoC platforms (e.g. Synopsys MCO [25] ) are also supported, and other multicore platforms (mostly x86 or ARM based) where a Pthreads environment is available. ...
doi:10.1145/2442992.2442993
dblp:conf/ppopp/ShengSOBVLA13
fatcat:acfnugkt5jalvb45jadvmr35xm
The M2DC Project: Modular Microserver DataCentre
2016
2016 Euromicro Conference on Digital System Design (DSD)
This paper provides an overview of the different topics FPGAs have been used for in the last 15 years of research and why they have been chosen over other processing units like e.g. CPUs. ...
Nevertheless, every application field introduces special requirements to the used computational architecture. ...
of future ASICs. ...
doi:10.1109/dsd.2016.76
dblp:conf/dsd/CecowskiAOKBCKP16
fatcat:bu4nbkqaejebjafrotibui6mkq
Formal ESL Synthesis for Control-Intensive Applications
2012
Advances in Software Engineering
Due to the massive complexity of contemporary embedded applications and integrated systems, long effort has been invested in high-level synthesis (HLS) and electronic system level (ESL) methodologies to ...
The scheduler PARCS and the formal compilation of the system are tested with a number of benchmarks and real-world applications. ...
Therefore, using the general I/O handshake of this approach, extremely complex systems can be delivered in a fraction of time which is needed when using platform or IP based approaches. ...
doi:10.1155/2012/156907
fatcat:f55w3dv6crflzfqinksfrcahnu
Pushing the Level of Abstraction of Digital System Design: a Survey on How to Program FPGAs
2022
ACM Computing Surveys
They are state-of-the-art for prototyping, telecommunications, embedded, and an emerging alternative for cloud-scale acceleration. ...
We review these abstraction solutions, provide a timeline, and propose a taxonomy for each abstraction trend: programming models for HDLs; IP-based or System-based toolchains for HLS; application, architecture ...
Our analysis highlights how such approaches provide a higher abstraction level than (System)Verilog and VHDL when designing FPGA-based systems. ...
doi:10.1145/3532989
fatcat:nsk5lwvt3vba5fbxmaj7sgpwru
SMT-8036 Based Implementation of Secured Software Defined Radio System for Adaptive Modulation Technique
[chapter]
2011
Communications in Computer and Information Science
It can be used for prototyping 3G (3 rd generation) systems and high-speed data acquisition system with or without digital processor. ...
Developments of RTES include modeling activities, using languages based on either grammars or metamodels, as well as analysis activities such as formal validation or simulation. ...
doi:10.1007/978-3-642-22720-2_20
fatcat:efjaizgqdvdbhppaju5fqtltfi
Compiling Scilab to high performance embedded multicore systems
2013
Microprocessors and microsystems
a Scilab-based toolchain which enables the efficient mapping of applications on multiprocessor platforms from a high level of abstraction. ...
The Architecture oriented paraLlelization for high performance embedded Multicore systems using scilAb (ALMA) European project aims to bridge these hurdles through the introduction and exploitation of ...
The estimation will be based on static analysis of the NAC code executed on the NAC virtual machine using compiled simulation. ...
doi:10.1016/j.micpro.2013.07.004
fatcat:pdh6kpwp25galdrdtvpv45l2cy
Secure and Dependable Multi-Cloud Network Virtualization
2017
Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures - XDOMO'17
We implemented a prototype of Sirius, and evaluated all solutions using both large scale simulations and a real testbed environment running our prototype. ...
Our evaluations demonstrate that the system scales well for networks of thousands of switches employing diverse topologies and improves on the virtual network acceptance ratio and provider profit when ...
is very close to the renew approach, and it improves 17% with DSP-K2. ...
doi:10.1145/3071064.3071066
fatcat:timnf66ocbafnb4f6xh5xlfofi
Policy-Driven Memory Protection for Reconfigurable Hardware
[chapter]
2006
Lecture Notes in Computer Science
While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable hardware typically offer no such protection ...
Our approach includes a specialized compiler that translates a policy of legal sharing to reconfigurable logic blocks which can be directly transferred to an FPGA. ...
Through the use of a grammar we allow the hierarchical composition of more complex policies. ...
doi:10.1007/11863908_28
fatcat:4ruhyhl25bb5rddk5c3fap6zai
Development and validation of Nessie: a multi-criteria performance estimation tool for SoC
2009
2009 Ph.D. Research in Microelectronics and Electronics
We successively present the modeling of these primitives and the way the solutions are defined and explored based on the power criterion further in Section. ...
The system compiler then automatically maps the application onto the platform and generates the application code and a system model that can be used for virtual prototyping. ...
Rapid prototyping is enabled by the use of FPGA that is mostly used for SW development and system analysis. ...
doi:10.1109/rme.2009.5201349
fatcat:lk2x6luvzzfopl24okg723lfhu
Level 3 trigger algorithm and Hardware Platform for the HADES experiment
2009
Nuclear Instruments and Methods in Physics Research Section A : Accelerators, Spectrometers, Detectors and Associated Equipment
Das GE-MN System besitzt zwei Gigabit-Ethernet Schnittstellen für den Transport von Daten, eine VMEbus Schnittstelle zur Konguration und Überwachung sowie einen TigerSHARC DSP zur Datenverarbeitung. ...
As usual, the Einstein-convention is used, omitting the summation symbol in the formula whenever a index happens to appear twice in the same term. ...
This data path is also used for most low level debugging, as well as to boot the DSP. ...
doi:10.1016/j.nima.2008.09.054
fatcat:qbg3huhmhjdufic7voggmqys4i
A Fault-tolerance Linguistic Structure for Distributed Applications
[article]
2016
arXiv
pre-print
A first contribution of this dissertation is the definition of a base of structural attributes with which application-level fault-tolerance structures can be qualitatively assessed and compared with each ...
This result is then used to provide an elaborated survey of the state-of-the-art of software fault-tolerance structures. ...
ACKNOWLEDGEMENTS This work would not have been possible without the contributions of a number of people who have supported me throughout these years. I thank very much my promoter, Prof. R. ...
arXiv:1611.01690v1
fatcat:mtyx6ubjafhzter5zream33d5u
Enforcing memory policy specifications in reconfigurable hardware
2008
Computers & security
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable hardware typically ...
We also describe a technique for ensuring that the internal state of the reference monitor cannot be used as a covert storage channel. ...
Through the use of a grammar we allow the hierarchical composition of more complex policies. ...
doi:10.1016/j.cose.2008.05.002
fatcat:krgulshf7fdhrmvfls4y3566yq
« Previous
Showing results 1 — 15 out of 45 results