Pierre Boulet Advances in Design and Specification Languages for SoCs 9781489984692

Варианты приобретения

Цена: 27951.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Pierre Boulet
Название: Advances in Design and Specification Languages for SoCs
ISBN: 9781489984692
Издательство: Springer
Классификация:

Электротехническое машиностроение

Электроника

Схемы и компоненты

Автоматизированное проектирование (САПР)

3D - графика и моделирование

Теория вычислительных машин и систем, кибернетика

Машинное моделирование и имитация

ISBN-10: 1489984690
Обложка/Формат: Paperback
Страницы: 305
Вес: 0.44 кг.
Дата издания: 25.11.2014
Язык: English
Размер: 234 x 156 x 17
Основная тема: Engineering
Подзаголовок: Selected Contributions from FDL'04
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: List of Figures. List of Tables. Foreword. Part I Analog and Mixed-Signal Systems. Introduction, Alain Vachoux. 1. Prediction of Conducted-Mode Emission, Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohamed Ramdani, and Jean-Luc Levant. 2. Refinement of Mixed-Signal Systems: Between HEAVEN and HELL, Christoph Grimm, Rьdiger Schroll, Klaus Waldschmidt. 3. Mixed Nets, Conversion Models, and VHDL-AMS, John Shields and Ernst Christen. 4. Monte Carlo Simulation Using VHDL-AMS, Ekkehart-Peter Wagner and Joachim Haase. 5. Practical Case Example of Inertial MEMS Modeling with VHDL-AMS, Elena Martнn, Laura Barrachina, Carles Ferrer. Acknowledgments. References. Part II UML-based System Specification and Design. Introduction, Piet van der Putten. 6. Metamodels and MDA Transformations for Embedded Systems, Lossan Bondй, Cйdric Dumoulin and Jean-Luc Dekeyser. 7. Model Based Testing and Re_nement in MDA Based Development, Ian Oliver. 8. Predictability in Real-time System Development, Jinfeng Huang, Jeroen Voeten, Oana Florescu, Piet van der Putten and Henk Corporaal. 9. Timing Performances and MDA Approaches, Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, and Franck Bernier. 10. UML-EFM, P.F. Lister, V. Trignano, M.C. Bassett and P.L. Watten. Acknowledgments. Part III C/C++-Based System Design. Introduction, Eugenio Villar. 11. Designing for dynamic partially recon_gurable FPGAs with SystemC and OSSS, Andreas Schallenberg, Frank Oppenheimer and Wolfgang Nebel. 12. Heterogeneous System-Level Specification in SystemC, Fernando Herrera, Pablo Sбnchez, Eugenio Villar. 13. The Meta-language xHDL, Miguel A. Sбnchez Marcos, Бngel Fernбndez Herrero, Marisa Lуpez-Vallejo. 14. SystemC Models for Realistic Simulations Involving RTOS Services, Prih Hastono, Stephan Klaus, and Sorin A. Huss. References. 15. System-Level Desgin for RSoC, Kari Tiensyrjд, Miroslav Cupak, Kostas Masselos, Marko Pettissalo, Konstantinos Potamianos, Yang Qu, Luc Rynders, Geert Vanmeerbeeck, Nikos Voros and Yan Zhang. Acknowledgments. Part IV Invited Contributions. Introduction, Wolfgang Mьller. 16. Symbolic Model Checking and Simulation, Roland J. Weiss, Jьrgen Ruf, Thomas Kropf and Wolfgang Rosenstiel. Introduction, Christoph Grimm. 17. Automotive System Design and AutoSAR, Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm.

Advances in Design and Specification Languages for SoCs, Pierre Boulet