Get 40% off select Statistics books or choose from thousands of Archive eBooks at 9.99 each!

Applications of Specification and Design Languages for SoCs

Selected papers from FDL 2005

Editors: Vachoux, A. (Ed.)

Free Preview

Buy this book

eBook 142,79 €
price for Spain (gross)
  • ISBN 978-1-4020-4998-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 187,19 €
price for Spain (gross)
  • ISBN 978-1-4020-4997-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 187,19 €
price for Spain (gross)
  • ISBN 978-90-481-7249-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems.

This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.

All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.

Table of contents (17 chapters)

Table of contents (17 chapters)
  • PSL-Based Online Monitoring of Digital Systems

    Pages 5-22

    Borrione, Dominique (et al.)

  • Refining Synchronous Communication onto Network-on-Chip Best-Effort Services

    Pages 23-38

    Lu, Zhonghai (et al.)

  • Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment

    Pages 43-59

    Vece, Giovanni B. (et al.)

  • Mixing Synchronous Reactive and Untimed MoCs in SystemC

    Pages 61-81

    Herrera, Fernando (et al.)

  • Interface-Centric Abstraction Level for Rapid Hardware/Software Integration

    Pages 83-99

    Nácul, André C. (et al.)

Buy this book

eBook 142,79 €
price for Spain (gross)
  • ISBN 978-1-4020-4998-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 187,19 €
price for Spain (gross)
  • ISBN 978-1-4020-4997-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 187,19 €
price for Spain (gross)
  • ISBN 978-90-481-7249-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Applications of Specification and Design Languages for SoCs
Book Subtitle
Selected papers from FDL 2005
Editors
  • A. Vachoux
Copyright
2006
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-1-4020-4998-9
DOI
10.1007/978-1-4020-4998-9
Hardcover ISBN
978-1-4020-4997-2
Softcover ISBN
978-90-481-7249-8
Edition Number
1
Number of Pages
XXII, 312
Topics