Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016)

• Record Type: Book
• Further Information: Note: Rolf Drechsler, Robert Wille, editors.
• Editors: Drechsler, Rolf; Wille, Robert
• Other Names: FDL (Conference)
• Contents: 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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (viii, 193 pages), illustrations (some color)
• Subjects: 621.3815; Engineering; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer software -- Verification -- Congresses; Software architecture -- Congresses; Computer hardware description languages -- Congresses; TECHNOLOGY & ENGINEERING -- Mechanical; Computer hardware description languages; Computer software -- Verification; Formal methods (Computer science); Software architecture; Software engineering; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- General; Computer architecture & logic design; Electronics engineering; Systems engineering; Computer science; Electronics; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319317236; 3319317237
• Related ISBNs: 9783319317229
• Notes: Note: Includes bibliographical references at the end of each chapters.; Note: Online resource; title from PDF title page (SpringerLink, viewed June 10, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.