Rolf Drechsler,
Robert Wille
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2015
Paperback Engels 2018 9783319811062
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This
book brings together a selection of the best papers from the eighteenth edition
of the Forum on specification and Design Languages Conference (FDL), which took
place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum
devoted to dissemination of research results, practical experiences and new
ideas in the application of specification, design and verification languages to
the design, modeling and verification of integrated circuits, complex
hardware/software embedded systems, and mixed-technology systems.
Specificaties
ISBN13:9783319811062
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
<p>Introduction.- Virtual Hardware-In-The-Loop Co-Simulation
for Multi-Domain Automotive Systems via the Functional Mock-Up Interface.- Standard
Compliant Co-Simulation Models for Verification of Automotive Embedded Systems.-
Building a Dynamically Reconfigurable System Through a High-Level Development
Flow.- A Special-Purpose Language for Implementing Pipelined FPGA-based
Accelerators.- Enabler-Based Synchronizer Model for Clock Domain Crossing
Static Verification.- Temporal Decoupling with Error-Bounded Predictive Quantum
Control.- Conservative Behavioural Modelling in SystemC-AMS.- Modeling Power
Consumption at System-Level for Design of Power Integrity-Aware AMS-Circuits.</p>
for Multi-Domain Automotive Systems via the Functional Mock-Up Interface.- Standard
Compliant Co-Simulation Models for Verification of Automotive Embedded Systems.-
Building a Dynamically Reconfigurable System Through a High-Level Development
Flow.- A Special-Purpose Language for Implementing Pipelined FPGA-based
Accelerators.- Enabler-Based Synchronizer Model for Clock Domain Crossing
Static Verification.- Temporal Decoupling with Error-Bounded Predictive Quantum
Control.- Conservative Behavioural Modelling in SystemC-AMS.- Modeling Power
Consumption at System-Level for Design of Power Integrity-Aware AMS-Circuits.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan