Advances in Design and Specification Languages for SoCs (eBook, PDF)
Selected Contributions from FDL'04
149,79 €
inkl. MwSt.
Sofort per Download lieferbar
Advances in Design and Specification Languages for SoCs (eBook, PDF)
Selected Contributions from FDL'04
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 3.54MB
- Upload möglich
Andere Kunden interessierten sich auch für
- Tim KogelIntegrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms (eBook, PDF)149,79 €
- G. NicolescuGlobal Specification and Validation of Embedded Systems (eBook, PDF)96,29 €
- Languages for Embedded Systems and their Applications (eBook, PDF)149,79 €
- Pallab DasguptaA Roadmap for Formal Property Verification (eBook, PDF)96,29 €
- Embedded Systems Specification and Design Languages (eBook, PDF)96,29 €
- Applications of Specification and Design Languages for SoCs (eBook, PDF)149,79 €
- UML for SOC Design (eBook, PDF)96,29 €
-
-
-
Produktdetails
- Verlag: Springer US
- Erscheinungstermin: 30. Juni 2006
- Englisch
- ISBN-13: 9780387261515
- Artikelnr.: 37288059
Pierre Boulet, Universite des Sciences et Technologies de Lille, Villeneuve d'Ascq, France
Analog and Mixed-Signal Systems.- Refinement of Mixed-Signal Systems: Between Heaven and Hell.- Mixed Nets, Conversion Models, and VHDL-AMS.- Monte Carlo Simulation Using VHDL-AMS.- Early Prediction of Conducted-Mode Emission of Complex Ic's.- Practical Case Example of Inertial Mems Modeling with VHDL-AMS.- UML-Based System Specification and Design.- Metamodels and MDA Transformations for Embedded Systems.- Model Based Testing and Refinement in MDA Based Development.- Predictability in Real-Time System Development.- Timing Performances of Automatically Generated Code Using MDA Approaches.- UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology.- C/C++-Based System Design.- Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS.- Heterogeneous System-Level Specification in Systemc.- xHDL: Extending VHDL to Improve Core Parameterization and Reuse.- Systemc Models for Realistic Simulations Involving Real-Time Operating System Services.- Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip.- Invited Contributions.- Symbolic Model Checking and Simulation with Temporal Assertions.- Automotive System Design and Autosar.
Analog and Mixed-Signal Systems.- Refinement of Mixed-Signal Systems: Between Heaven and Hell.- Mixed Nets, Conversion Models, and VHDL-AMS.- Monte Carlo Simulation Using VHDL-AMS.- Early Prediction of Conducted-Mode Emission of Complex Ic's.- Practical Case Example of Inertial Mems Modeling with VHDL-AMS.- UML-Based System Specification and Design.- Metamodels and MDA Transformations for Embedded Systems.- Model Based Testing and Refinement in MDA Based Development.- Predictability in Real-Time System Development.- Timing Performances of Automatically Generated Code Using MDA Approaches.- UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology.- C/C++-Based System Design.- Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS.- Heterogeneous System-Level Specification in Systemc.- xHDL: Extending VHDL to Improve Core Parameterization and Reuse.- Systemc Models for Realistic Simulations Involving Real-Time Operating System Services.- Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip.- Invited Contributions.- Symbolic Model Checking and Simulation with Temporal Assertions.- Automotive System Design and Autosar.