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
Book ChapterDOI
The SpecC language
TL;DR: The SpecC Language is executable and synthesizable and gives precise coverage of system language requirements with orthogonal constructs for Orthogonal concepts.
Posted Content
Cities of the Future: Employing Wireless Sensor Networks for Efficient Decision Making in Complex Environments.
Alex Doboli,Daniel Curiac,Dan Pescaru,Simona Doboli,K. Wendy Tang,Constantin Volosencu,Michael Gilberti,Ovidiu Banias,Codruta Istin +8 more
TL;DR: This paper illustrates a hierarchy used for traffic management applications and composed of Finite State Machines, Conditional Task Graphs, Markov Decision Processes, and functional graphs.
Proceedings ArticleDOI
100-hour design cycle: a test case
TL;DR: A design methodology is proposed that can shorten the design cycle signi cantly, by allowing designs to be speci ed at higher levels of abstraction and using powerful tools to guide the synthesis process.
Journal ArticleDOI
A Senior-Level Course in Hardware–Software Codesign
TL;DR: The motivations for this course, the curriculum, the lab materials and tools used, and the results of the first offering of the course in fall 2006 are reviewed.
Proceedings ArticleDOI
A detailed cost model for concurrent use with hardware/software co-design
TL;DR: Based on the determination of key metrics such as gate count and lines of software, a new tool called Ghost, evaluates software and hardware development, fabrication, packaging and testing costs concurrent with hardware/software partitioning in a co-design environment.
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.