Modeling embedded systems and SoC's concurrency and time in models of computation
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 des...
| Autor principal: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
San Francisco :
Morgan Kaufmann
2004.
|
| Edición: | 1st edition |
| Colección: | Morgan Kaufmann series in systems on silicon.
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009626973806719 |
Tabla de Contenidos:
- 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
