Models in System Design

1. Modeling And Synthesis Of Synchronous System-Level Specifications.- 1.1. Introduction.- 1.2. System-Level Designs.- 1.3. Modeling of Concurrent Synchronous Systems.- 1.4. Semantics of CFEs.- 1.5. Scheduling Operations in CFFSM.- 1.6. Experimental Results.- 1.7. Conclusions and Future Work.- 2. System Level Modeling And Hardware Architecture Trade-Off.- 2.1. Introduction.- 2.2. Modelling and Abstraction.- 2.3. Hardware Architecture Trade-Off.- 2.4. Behavior Modeling.- 2.5. Additional Reuse Aspects.- 2.6. Conclusion.- 3. Automating System Design With Conceptual Models.- 3.1. Introduction.- 3.2. Conceptual Graphs.- 3.3. Requirements Capture.- 3.4. Unification of Requirements.- 3.5. Design Knowledge.- 3.6. Analysis of Specifications.- 3.7. Model Generation.- 3.8. Back-Annotation.- 3.9. Conclusions.- 4. Hardware/Software Co-Verification Of Embedded System Designs Using Virtual System Integration.- 4.1. Introduction.- 4.2. Current State of Affairs.- 4.3. New Unified Integration Environment.- 4.4. Benefits of Virtual System Integration.- 4.5. Conclusion.- 5. LIRMM: Prototyping Platform For Hardware/Software Codesign.- 5.1. Introduction.- 5.2. Hardware/Software Codesign Environment.- 5.3. Prototyping Board Architecture.- 5.4. Prototyping Board Performance.- 5.5. Application.- 5.6. Conclusion.- 6. Hardware/Software System Design Based On The MCSE Methodology.- 6.1. Introduction.- 6.2. Overview of the Codesign Methodology.- 6.3. Presentation of the Example.- 6.4. Functional Design with Performance Mastering.- 6.5. Implementation Specification Step.- 6.6. An Example of Codesign Problems.- 6.7. Conclusions.