Architecture of P INAPA
Outline
- Plan du document
- The Systems-on-a-Chip Design Flow
- The SystemC Library
- TLM in SystemC
- A Larger Example: The EASY Platform
- Techniques and Tools for the Verification of SoCs
- Specifications of P INAPA
- Architecture of P INAPA (Vous êtes ici)
- Conclusion
- HPIOM Basic Concepts
- HPIOM Expressions and the Visitor Design Pattern
- Semantics of the Synchronization Primitives and the Scheduler
- Direct Semantics of TLM Constructs
- SystemC Translation Into Signal
- Semantic Preserving Transformations
- An Approximation Conservative for Safety Properties: Abstracting Away Numerical Values 120
- The L USTRE Tool-Chain
- Encoding in SMV
- Performances of the Proof Engines
- The Choice of SystemC
- C++ constructs
- Main Files
- Executability and Determinism: a Way to Clarify the Semantics of Informal Lan-
Documents relatifs