The proceedings contain 50 papers. The topics discussed include: a compositional modelling framework for exploring MPSoC systems;a high-level virtual platform for early MPSoC software development;on compile-time evalu...
ISBN:
(纸本)9781605586281
The proceedings contain 50 papers. The topics discussed include: a compositional modelling framework for exploring MPSoC systems;a high-level virtual platform for early MPSoC software development;on compile-time evaluation of process partitioning transformations for kahn process networks;SARA: StreAm register allocation;dynamically utilizing computation accelerators for extensible processors in a software approach;scalable and retargetable simulation techniques for multiprocessor systems;an on-chip interconnect and protocol stack for multiple communication paradigms and programming models;a monitoring and adaptive routing mechanism for QoS traffic on mesh NoC architectures;a DP-network for optimal dynamic routing in network-on-chip;LOP: a novel SRAM-based architecture for low power and high throughput packet classification;memory-efficient distribution of regular expressions for fast deep packet inspection;and on-the-fly hardware acceleration for protocol stack processing in next generation mobile devices.
synthesis is the automated construction of a system from its specification. In the classical temporal synthesis algorithms, it is always assumed the system is "constructed from scratch" rather than "com...
详细信息
ISBN:
(数字)9783642005961
ISBN:
(纸本)9783642005954
synthesis is the automated construction of a system from its specification. In the classical temporal synthesis algorithms, it is always assumed the system is "constructed from scratch" rather than "composed" from reusable components. This, of course, rarely happens in real life. fit real life, almost every non-trivial commercial system, either in hardware or in softwaresystem, relies heavily on using libraries of reusable components. Furthermore. other contexts, such as web-service orchestration, call be modeled as synthesis of a system from a library of components. In this work we define and study the problem of LTL synthesis from libraries of reusable components. We define two notions of composition: data-flow composition, for which we prove the problem is Undecidable, and control-flow composition. for which we prove the problem is 2EXPTIME-complete. As a side benefit we derive all explicit characterization of the information needed by the synthesizer oil the underlying components. This characterization can be used as a specification formalism between component providers and integrators.
The complexity of hardware design methodologies represents a significant difficulty for non hardware focused scientists working on CNN-based applications. An emerging generation of Electronic system Level (ESL) design...
详细信息
In this paper, we present a Natural Modeling Framework for Processor Design Automation system, Trilobite. Unlike other systems solicite explicit pipeline and instruction definitions to direct them, Trilobite gives the...
详细信息
ISBN:
(纸本)9781424438686
In this paper, we present a Natural Modeling Framework for Processor Design Automation system, Trilobite. Unlike other systems solicite explicit pipeline and instruction definitions to direct them, Trilobite gives the designer the freedom to model the processor in the high-level Behavior Accurate Processor Description (BAPD), which is based on the basic building block Mem and PDSDL (Python based Dynamic system Description Language [1]). Given the BAPD, software development and hardwaresynthesis can be performed simultaneously with four verification stages varying in accuracy and speed. Various translators and optimizers are introduced to convert BAPD to PDSDL, finally to hardware Description Language (HDL). This powerful toolset could build diverse circuits ranging from simple combinational and sequential circuit to advanced pipelined superscalar. Compared to the determinate modeling inside traditional ADL, Trilobite is powerful and flexible. The preliminary result of our Java Processor system based on Trilobite is given at the end It proves to be effective and productive(1).
The existing direct digital frequency synthesis (DDFS) only can generate one kind of waveform with one read-only memory lookup table (ROM LUT), which cannot provide in-phase wave and quadrature wave for global positio...
详细信息
暂无评论