Preface. Acknowledgments. 1 Introduction. 1.1 Motivation. 1.2 Organization 2 Related Work. 2.1 System Level Design Languages and Frameworks. 2.2 Verification of SystemC Designs. 2.3 Reflection and Introspection. 2.4 Service-orientation. 3 Background. 3.1 Fidelity, Expressiveness and Multiple Models of Computation. 4 Behavioral Hierarchy with Hierarchical FSMs (HFSMs). 4.1 Behavioral Modeling versus Structural Modeling. 4.2 Finite State Machine Terminology. 4.3 Requirements for Behavioral Hierarchy in SystemC. 4.4 Execution Semantics for Hierarchical FSMs. 4.5 Implementation of Hierarchical FSMs. 4.6 Modeling Guidelines for HFSM. 4.7 HFSM Example: Power Model. 5 Simulation Semantics for Heterogeneous Behavioral Hierarchy. 5.1 Abstract Semantics. 5.2 Basic Definitions. 5.3 Execution Semantics for Starcharts. 5.4 Our Execution Semantics for Hierarchical FSMs. 5.5 Implementing Heterogeneous Behavioral Hierarchy. 5.6 Examples. 6 Bluespec ESL and its Co-simulation with SystemC DE. 6.1 Advantages of this Work. 6.2 Design Flow. 6.3 BS-ESL Language. 6.4 BS-ESL Execution. 6.5 An Example Demonstrating BS-ESL and SystemC Integration. 6.6 Summary. 6.7 Interoperability between SystemC and BS-ESL. 6.8 Problem Description. 6.9 Solution: Our Interoperability Technique. 6.10 Summary. 7 Model-driven Validation of SystemC Designs. 7.1 Overview of this Work. 7.2 Design Flow. 7.3 Results: Validation of FIFO, FIR and GCD. 7.4 Our Experience. 7.5 Evaluation of this Approach. 7.6 Summary. 8 Service-orientation for Dynamic Integration of Multiple Tools. 8.1 CARH's Capabilities. 8.2 Issues and Inadequacies of Current SLDLs and Dynamic Validation Frameworks. 8.3 Our Generic Approach to Addressing these Inadequacies. 8.4 CARH's Software Architecture. 8.5 Services Rendered by CARH. 8.6Usage Model of CARH. 8.7 Simulation Results. 8.8 Our Experience with CARH. 9 Summary Evaluations. 9.1 Modeling and Simulating Heterogeneous Behaviors in SystemC. 9.2 Validating Corner Case Scenarios for SystemC. 9.3 Dynamic Integration of Multiple Tools. 10 Conclusion and Future work. A Parsing SystemC using C/C++ Front-end Compiler. A.1 Tool Flow. A.2 Parsing SystemC. B Eclpise-based Plugin for a SystemC IDE. B.1 Project Overview. B.2 SystemC IDE Feature. B.3 SystemC IDE Plug-in. B.4 Setting up the SystemC IDE. B.5 A Little About Implementation. References.
A first book to discuss the wish lists for an ESL language and environment in a comprehensive manner and provide solutions that enable the wish list
The solutions in this book are all implemented in prototypes available from our website which readers can download and experiment with
The industry is still not sure about what ESL should be and what a tool supporting ESL design methodology must have
This book provides guidelines with experimental validation