Open AccessBook
Specification and Design of Embedded Systems
Reads0
Chats0
TLDR
1. System-Design Methodology and Environment, Models and Architectures, and Specification Languages: Answering Machine in SpecCharts.Abstract:
1 Introduction 2 Models and Architectures 3 Specification Languages 4 A Specification Example 5 Translation to VHDL 6 System Partitioning 7 Design Quality Estimation 8 Specification Refinement into Synthesizable Models 9 System-Design Methodology and Environment Appendix: Answering Machine in SpecCharts Bibliography Indexread more
Citations
More filters
Proceedings ArticleDOI
Automated estimation of power consumption for rapid system level design
Yasaman Samei,Rainer Dömer +1 more
TL;DR: This paper describes an early power estimation method for Electronic System Level (ESL) design, which provides a scalable API to support automated power profiling and analysis at the early stages of the design process, and shows that the PowerMeter delivers rapid estimates with high fidelity and at minimal cost.
Overview of Design, Lifecycle, and Safety for Computer-Based Systems
TL;DR: This document describes the need and justification for the development of a design guide for safety-relevant computer-based systems and makes a contribution toward the design guide by presenting an overview of computer- based systems design, lifecycle, and safety.
Book
Debugging at the Electronic System Level
Frank Rogin,Rolf Drechsler +1 more
TL;DR: This book discusses ESL design and verification, high-level debugging, and isolating failure causes in SystemC, with a focus on Debugging Approach.
Proceedings ArticleDOI
Reuse-oriented design of embedded systems
D. Monjau,M. Sporer +1 more
TL;DR: An object oriented model and a reuse oriented methodology for the co-design of embedded computer systems based on a hierarchy of classes which describes all possible specifications of systems of a certain domain, the behavior of hardware and software components, and the target architectures are described.
Journal ArticleDOI
A CoDesign case study with the MCSE methodology
TL;DR: The experiment of a CoDesign process to develop a communication system which needs to correctly mix hardware and software parts in order to satisfy the various required performances is described.
References
More filters
Journal ArticleDOI
Optimization by Simulated Annealing
TL;DR: There is a deep and useful connection between statistical mechanics and multivariate or combinatorial optimization (finding the minimum of a given function depending on many parameters), and a detailed analogy with annealing in solids provides a framework for optimization of very large and complex systems.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
An efficient heuristic procedure for partitioning graphs
Brian W. Kernighan,Shou-De Lin +1 more
TL;DR: A heuristic method for partitioning arbitrary graphs which is both effective in finding optimal partitions, and fast enough to be practical in solving large problems is presented.
Journal ArticleDOI
Hierarchical clustering schemes
TL;DR: A useful correspondence is developed between any hierarchical system of such clusters, and a particular type of distance measure, that gives rise to two methods of clustering that are computationally rapid and invariant under monotonic transformations of the data.
Proceedings ArticleDOI
A Linear-Time Heuristic for Improving Network Partitions
TL;DR: An iterative mincut heuristic for partitioning networks is presented whose worst case computation time, per pass, grows linearly with the size of the network.