Dedication | p. v |
List of Figures | p. xi |
List of Tables | p. xiii |
Foreword | p. xv |
Preface | p. xix |
Acknowledgments | p. xxxi |
Introduction | p. 1 |
Motivation | p. 1 |
System Level Design Languages and Frameworks | p. 2 |
Our Approach to Heterogeneous Modeling in SystemC | p. 8 |
Main Contributions of this Book | p. 10 |
Background Material | p. 13 |
System Level Modeling and Simulation Methods | p. 13 |
Models of Computation and Heterogeneous Modeling at System Level | p. 14 |
Ptolemy II: A Heterogeneous Modeling and Simulation Framework | p. 15 |
SystemC: Language and Framework | p. 19 |
Implemented Models of Computation | p. 21 |
SystemC Discrete-Event Kernel | p. 31 |
DE Simulation Semantics | p. 31 |
Implementation Specifics | p. 33 |
Discrete-Event Simulation Kernel | p. 34 |
Example: DE Kernel | p. 37 |
Few Words About Implementation Class Hierarchy | p. 45 |
MoC Specific Ports and Channels | p. 48 |
Integration of Kernels | p. 53 |
Synchronous Data Flow Kernel in SystemC | p. 55 |
SDF MoC | p. 55 |
SDF Data Structure | p. 57 |
Scheduling of SDF | p. 61 |
SDF Modeling Guidelines | p. 72 |
SDF Kernel in SystemC | p. 79 |
SDF Specific Examples | p. 88 |
Pure SDF Examples | p. 89 |
Communicating Sequential Processes Kernel in SystemC | p. 93 |
Implementation Details | p. 95 |
CSP Scheduling and Simulation | p. 106 |
Example of CSP Model in SystemC | p. 109 |
Modeling Guidelines for CSP Models in SystemC | p. 116 |
Example of Producer/Consumer | p. 117 |
Integrating CSP & DE kernels | p. 119 |
Finite State Machine Kernel in SystemC | p. 125 |
Implementation Details | p. 127 |
Example of Traffic Light Controller Model using FSM Kernel in SystemC | p. 129 |
SystemC Kernel Application Protocol Interface (API) | p. 133 |
System Level Design Languages and Frameworks | p. 133 |
Heterogeneous Examples | p. 139 |
Model using SDF kernel | p. 139 |
Model using CSP and FSM kernels | p. 142 |
Model using FSM, SDF and DE kernels | p. 146 |
Model using CSP, FSM, SDF and DE Kernels | p. 147 |
Epilogue | p. 151 |
References | p. 155 |
Appendices | p. 160 |
QuickThreads in SystemC | p. 161 |
QuickThreads | p. 161 |
QuickThread Client package in SystemC | p. 162 |
Autoconf and Automake | p. 171 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.