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
Prototyping of embedded systems : an analysis of industrial approaches aimed at reducing time-to-market
TL;DR: In this paper, the authors propose a method to solve the problem of "uniformity" and "uncertainty" in the context of health care, and propose a solution.
Proceedings ArticleDOI
Automatic Design of Low-Power VLSI Circuits: Accurate and Approximate Multipliers
Vojtech Mrazek,Zdenek Vasicek +1 more
TL;DR: An automatic design method that is able to operate directly at transistor level which offers a great potential for discovering novel implementations of approximate circuits and a novel implementation of an approximate 4-bit multiplier which has approximately by 40% better power-delay product and exhibits 14% lower worst-case error.
Journal ArticleDOI
High-level co-simulation based on the extension of processor simulators
TL;DR: A co-design approach where the co-simulation between hardware and software takes place early enough in the design cycle, based on the extension of existing instruction set processor simulators in order to encapsulate hardware block description in the required and adequate accuracy level.
Proceedings ArticleDOI
Reducing cost and tolerating defects in page-based intelligent memory
TL;DR: This study examines Active Page memories that share, or multiplex, embedded VLIW processors across multiple physical Active Pages and finds that hardware costs of computational logic can be reduced from 31% of DRAM chip area to 12%, through multiplexing, without significant loss in performance.
Proceedings Article
Hierarchical interfaces for hardware software systems
TL;DR: The theory of hierarchy types is extended, in order to integrate communication properties as well as correctness and testability, to suit the behavioral specification of today’s complex system design.
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.