Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL 04
This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ?eld of electronic and mixed technology circuit design languages. The industry has recognized the need for system level design as a way to enable the design of the next generation of emb- ded sy...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
New York, NY :
Springer US
[20..].
Cham : Springer Nature |
| Edició: | 1st ed. 2005. |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in design and specification languages for SoCs, selected contributions from FDL'04, edited by Pierre Boulet,..., 2005, Dordrecht, Springer, 1 vol. (x-305 p.), The ChDL series, 0-387-26149-4 |
| LEADER | 04701nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 947846 | ||
| 008 | 080409q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN123073391 | ||
| 020 | |a 9780387261515 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Boulet, Pierre, |d 1970-...., |c chercheur en informatique. | |
| 245 | 1 | 0 | |a Advances in Design and Specification Languages for SoCs : |b Selected Contributions from FDL 04 |c edited by Pierre Boulet. |
| 250 | |a 1st ed. 2005. | ||
| 260 | |a New York, NY : |b Springer US. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ?eld of electronic and mixed technology circuit design languages. The industry has recognized the need for system level design as a way to enable the design of the next generation of emb- ded systems. This is demonstrated by the ESL Now! campaign that many companies are promoting. This year has also seen many interesting st- dardization efforts for system level design, such as SystemC TLM (http: //www. systemc. org/) for transactional level modeling with SystemC, AU- TOSAR (http://www. autosar. org/) for automotive embedded system - plications, or SPIRIT (http://www. spiritconsortium. org/) for IP int- change. In the ?eld of modeling languages, the Model Driven Architecture of the OMG (http://www. omg. org/mda/) has given rise to model driven en- neering, which is a more general way of software engineering based on model transformations. As embedded systems are more and more programmable and as the design abstraction level rises, model driven methodologies are also c- sidered for electronic system level design. In this context, the OMG has - cently published a call for propositions for a UML 2. 0 pro?le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). The constraints on the design process of these next generation embedded systems are considerable: Real-time, power consumption, complexity, mixed technology integration, correctness, time to market, cost | ||
| 700 | 1 | |a Boulet, Pierre, |d 1970-...., |c chercheur en informatique. |4 edt | |
| 776 | 0 | |0 110815831 |t Advances in design and specification languages for SoCs |o selected contributions from FDL'04 |f edited by Pierre Boulet,... |d 2005 |c Dordrecht |n Springer |p 1 vol. (x-305 p.) |s The ChDL series |z 0-387-26149-4 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b136935 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HJZ4BJKX-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748048324 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/b136935 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751499501 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/b136935 |z Accès INSA CVL | |
| 997 | |0 947846 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||