UID:
almafu_9959238249002883
Umfang:
1 online resource (374 p.)
Ausgabe:
1st edition
ISBN:
9786611022686
,
9781281022684
,
1281022683
,
9780080511825
,
0080511821
Serie:
The Morgan Kaufmann series in systems on silicon
Inhalt:
Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling. This book directly addresses that need by developing organizing principles for understandin
Anmerkung:
Description based upon print version of record.
,
Cover; Copyright Page; Contents; Foreword; Preface; Notation; Chapter 1. Introduction; 1.1 Motivation; 1.2 Heterogeneous Models; 1.3 Separation of Computation and Communication; 1.4 Systems and Models; 1.5 The Rugby Metamodel; 1.6 Domains; 1.7 Notation; 1.8 Design Methods and Methodology; 1.9 Case Study: A Design Project; 1.10 Further Reading; 1.11 Exercises; Chapter 2. Behavior and Concurrency; 2.1 Models for the Description of Behavior; 2.2 Finite State Machines; 2.3 Petri Nets; 2.4 Extended and Restricted Petri Nets; 2.5 Further Reading; 2.6 Exercises
,
Chapter 3. The Untimed Model of Computation3.1 The MoC Framework; 3.2 Processes and Signals; 3.3 Signal Partitioning; 3.4 Process Constructors; 3.5 Process Properties; 3.6 Composition Operators; 3.7 Definition of the Untimed MoC; 3.8 Characteristic Functions; 3.9 Process Signatures; 3.10 Process Up-rating; 3.11 Process Down-rating; 3.12 Process Merge; 3.13 Rugby Coordinates; 3.14 The Untimed Computational Model and Petri Nets; 3.15 Synchronous Dataflow; 3.16 Variants of the Untimed MoC; 3.17 Further Reading; 3.18 Exercises; Chapter 4. The Synchronous Model of Computation
,
4.1 Perfect Synchrony4.2 Process Constructors; 4.3 Feedback Loops; 4.4 Perfectly Synchronous MoC; 4.5 Process Merge; 4.6 Clocked Synchronous Models; 4.7 Extended Characteristic Function; 4.8 Example: Traffic Light Controller; 4.9 Rugby Coordinates; 4.10 Validation; 4.11 Further Reading; 4.12 Exercises; Chapter 5. The Timed Model of Computation; 5.1 Introduction; 5.2 Process Constructors; 5.3 Discrete Event Models Based on d-Delay; 5.4 Rugby Coordinates; 5.5 Applications; 5.6 Further Reading; 5.7 Exercises; Chapter 6. MoC Interfaces; 6.1 Interfaces between Domains of the Same MoC
,
6.2 Interfaces between Different Computational Models6.3 Integrated Model of Computation; 6.4 Asynchronous Interfaces; 6.5 Process Migration; 6.6 Applications; 6.7 Further Reading; 6.8 Exercises; Chapter 7. Tightly Coupled Process Networks; 7.1 Nonblocking Read; 7.2 Blocking Read and Blocking Write; 7.3 Oversynchronization; 7.4 Rugby Coordinates; 7.5 Further Reading; 7.6 Exercises; Chapter 8. Nondeterminism and Probability; 8.1 The Descriptive Purpose; 8.2 The Constraining Purpose; 8.3 The s Process; 8.4 Synthesis and Formal Verification; 8.5 Process Constructors
,
8.6 Usage of Stochastic Skeletons8.7 Further Reading; 8.8 Exercises; Chapter 9. Applications; 9.1 Performance Analysis; 9.2 Functional Specification; 9.3 Design and Synthesis; 9.4 Further Reading; 9.5 Exercises; Chapter 10. Concluding Remarks; Bibliography; Index
,
English
Weitere Ausg.:
ISBN 9781558609259
Weitere Ausg.:
ISBN 1558609253
Sprache:
Englisch
Bookmarklink
